Remove extensible-exceptions package
[nofib.git] / real / veritas /
drwxr-xr-x   ..
-rw-r--r-- 1179 Attributes.lhs
-rw-r--r-- 6395 Auto.hs
-rw-r--r-- 4549 Build_Tm.lhs
-rw-r--r-- 8063 Build_itrm.lhs
-rw-r--r-- 9516 Core_database.hs
-rw-r--r-- 4378 Core_datatype.hs
-rw-r--r-- 1050 Dcore.hs
-rw-r--r-- 3652 DerivedRules.hs
-rw-r--r-- 7776 Display.hs
-rw-r--r-- 2074 Editor.hs
-rw-r--r-- 5672 Edlib.lhs
-rw-r--r-- 2467 Getops.hs
-rw-r--r-- 650 Globals.hs
-rw-r--r-- 8762 Goals.hs
-rw-r--r-- 27388 Kernel.hs
-rw-r--r-- 11048 Lookup.hs
-rw-r--r-- 3794 Main.hs
-rw-r--r-- 91 Makefile
-rw-r--r-- 56714 Parse.lhs
-rw-r--r-- 955 README
-rw-r--r-- 9397 Sub_Core1.hs
-rw-r--r-- 8631 Sub_Core2.hs
-rw-r--r-- 7877 Sub_Core3.hs
-rw-r--r-- 8175 Sub_Core4.hs
-rw-r--r-- 941 Tacticals.hs
-rw-r--r-- 3644 Tactics.hs
-rw-r--r-- 4228 Tags.hs
-rw-r--r-- 26018 ThmTactics.hs
-rw-r--r-- 3736 Token.lhs
-rw-r--r-- 3697 Tree.hs
-rw-r--r-- 1214 Type_defs.lhs
-rw-r--r-- 8452 Unparse.lhs
-rw-r--r-- 2601 Vtslib.hs
-rw-r--r-- 9719 X_interface.hs
-rw-r--r-- 196 grip-in
-rw-r--r-- 196 veritas.stdin
-rw-r--r-- 1391 veritas.stdout