Index of /ghc-6.8/nofib/real/veritas

	Name	Last modified	Size	Description
	Parent Directory		-
	Attributes.lhs	15-Jan-2010 07:11	1.2K
	Auto.hs	15-Jan-2010 07:11	6.2K
	Build_Tm.lhs	15-Jan-2010 07:11	4.4K
	Build_itrm.lhs	13-Oct-2010 03:03	7.9K
	Core_database.hs	15-Jan-2010 07:11	9.3K
	Core_datatype.hs	15-Jan-2010 07:11	4.3K
	Dcore.hs	15-Jan-2010 07:11	1.0K
	DerivedRules.hs	25-Jun-2010 03:23	3.6K
	Display.hs	15-Jan-2010 07:11	7.6K
	Editor.hs	15-Jan-2010 07:11	2.0K
	Edlib.lhs	15-Jan-2010 07:11	5.5K
	Getops.hs	15-Jan-2010 07:11	2.4K
	Globals.hs	15-Jan-2010 07:11	650
	Goals.hs	15-Jan-2010 07:11	8.6K
	Kernel.hs	15-Jan-2010 07:11	27K
	Lookup.hs	15-Jan-2010 07:11	11K
	Main.hs	15-Jan-2010 07:11	3.7K
	Makefile	15-Jan-2010 07:11	91
	Parse.lhs	13-Oct-2010 03:03	55K
	README	15-Jan-2010 07:11	955
	Sub_Core1.hs	15-Jan-2010 07:11	9.2K
	Sub_Core2.hs	15-Jan-2010 07:11	8.4K
	Sub_Core3.hs	15-Jan-2010 07:11	7.7K
	Sub_Core4.hs	15-Jan-2010 07:11	8.0K
	Tacticals.hs	15-Jan-2010 07:11	941
	Tactics.hs	15-Jan-2010 07:11	3.6K
	Tags.hs	15-Jan-2010 07:11	4.1K
	ThmTactics.hs	15-Jan-2010 07:11	25K
	Token.lhs	15-Jan-2010 07:11	3.6K
	Tree.hs	15-Jan-2010 07:11	3.6K
	Type_defs.lhs	15-Jan-2010 07:11	1.2K
	Unparse.lhs	15-Jan-2010 07:11	8.3K
	Vtslib.hs	15-Jan-2010 07:11	2.5K
	X_interface.hs	15-Jan-2010 07:11	9.5K
	grip-in	15-Jan-2010 07:11	196
	veritas.stdin	15-Jan-2010 07:11	196
	veritas.stdout	15-Jan-2010 07:11	1.4K