Index of /~tptp/Seminars/ModalLogic/TPTPFiles

	Name	Last modified	Size	Description
	Parent Directory		-
	K.sys.txt	03-Aug-2005 04:31	482
	M.sys.txt	03-Aug-2005 04:31	339
	ModalAxiomDefns.ax.txt	31-Jul-2005 13:46	3.0K
	ModalRuleDefns.ax.txt	19-May-2005 08:30	796
	OperatorDefns.ax.txt	07-Jul-2005 13:24	1.1K
	PCAxiomDefns.ax.txt	20-Jul-2005 16:33	4.0K
	S1-0.sys.txt	31-Jul-2005 13:47	738
	S1=PCS1M.sys.txt	22-Jul-2005 02:59	699
	S1=S1-0M6.sys.txt	03-Aug-2005 04:54	345
	S5=KM4B.sys.txt	12-Jul-2005 08:39	364
	S5=KM4B_to_S5=KM5.p.txt	05-Aug-2005 04:32	405
	S5=KM4B_to_S5=KM5.reduced.p.txt	05-Aug-2005 03:46	2.1K
	S5=KM5_to_S5=KM4B.p.txt	05-Aug-2005 04:40	510
	S5=KM5_to_S5=S1-0M6S3M9B.p.txt	05-Aug-2005 04:18	2.3K
	S5=S1-0M6S3M9B.sys.txt	04-Aug-2005 07:08	399
	S5=S1-0M6S3M9B_to_S5=KM5.p.txt	05-Aug-2005 03:35	2.1K