Index of /~hook/logicw11/Code

	Name	Last modified	Size	Description
	Parent Directory		-
	FOL/	2011-02-07 23:40	-
	Nordin/	2011-03-01 16:30	-
	nusmv/	2011-03-01 12:40	-
	Bad.hs	2010-12-30 12:30	130
	TableauExamples.hs	2011-01-01 23:30	235
	Ex2.hs	2010-12-29 16:22	429
	Examples.hs	2011-01-04 22:20	829
	GentzenEgs.hs	2010-12-31 22:40	898
	SATExamples.hs	2011-01-27 12:30	1.0K
	LEM.hs	2011-01-12 23:20	1.0K
	HREgs.hs	2011-01-12 13:40	1.7K
	NaturalDeduction.prg	2011-01-15 15:30	2.5K
	Tactics.hs	2011-01-06 19:30	2.5K
	HR.hs	2011-01-04 17:10	2.7K
	Minisat.hs	2011-01-24 12:00	3.0K
	SimpleTableau.hs	2010-12-31 22:40	3.0K
	L.hs	2011-01-05 21:00	3.1K
	tableau.hs	2011-01-01 23:30	3.2K
	Blocks.hs	2010-12-29 16:22	3.6K
	CurryHowardExamples.hs	2011-03-02 09:30	3.7K
	DAG.hs	2011-01-23 23:10	4.7K
	CompleteNK.hs	2011-01-13 17:50	4.7K
	Prop.hs	2011-01-20 17:10	5.9K
	FiniteSetExamples.hs	2011-02-02 16:10	9.2K
	SATRedacted.hs	2011-01-23 23:10	16K
	FiniteSet.hs	2011-02-02 16:10	24K
	ForwardProver.hs	2011-01-06 09:20	29K