Name                    Last modified       Size  Description

 Parent Directory        15-Jun-2007 16:13      -  
 Attributes.lhs          21-Feb-2007 20:51     1k  
 Auto.hs                 21-Feb-2007 20:51     6k  
 Build_Tm.lhs            21-Feb-2007 20:51     4k  
 Build_itrm.lhs          21-Feb-2007 20:51     8k  
 Core_database.hs        21-Feb-2007 20:51     9k  
 Core_datatype.hs        21-Feb-2007 20:51     4k  
 Dcore.hs                21-Feb-2007 20:51     1k  
 DerivedRules.hs         21-Feb-2007 20:51     4k  
 Display.hs              21-Feb-2007 20:51     8k  
 Editor.hs               21-Feb-2007 20:51     2k  
 Edlib.lhs               21-Feb-2007 20:51     6k  
 Getops.hs               21-Feb-2007 20:51     2k  
 Globals.hs              21-Feb-2007 20:51     1k  
 Goals.hs                21-Feb-2007 20:51     9k  
 Kernel.hs               21-Feb-2007 20:51    27k  
 Lookup.hs               21-Feb-2007 20:51    11k  
 Makefile                03-Mar-2007 23:32     1k  
 Parse.lhs               24-Feb-2007 01:48    55k  
 Sub_Core1.hs            21-Feb-2007 20:51     9k  
 Sub_Core2.hs            21-Feb-2007 20:51     8k  
 Sub_Core3.hs            21-Feb-2007 20:51     8k  
 Sub_Core4.hs            21-Feb-2007 20:51     8k  
 Tacticals.hs            21-Feb-2007 20:51     1k  
 Tactics.hs              21-Feb-2007 20:51     4k  
 Tags.hs                 21-Feb-2007 20:51     4k  
 ThmTactics.hs           24-Feb-2007 01:48    25k  
 Token.lhs               24-Feb-2007 01:48     4k  
 Tree.hs                 21-Feb-2007 20:51     4k  
 Type_defs.lhs           21-Feb-2007 20:51     1k  
 Unparse.lhs             21-Feb-2007 20:51     8k  
 Vtslib.hs               21-Feb-2007 20:51     3k  
 X_interface.hs          21-Feb-2007 20:51     9k  
 grip-in                 21-Feb-2007 20:51     1k  
 veritas.expected        03-Mar-2007 22:09  13.3M  
 veritas.hs              03-Mar-2007 22:09     5k  
 veritas.stdin           21-Feb-2007 20:51     1k  
 veritas.stdout          21-Feb-2007 20:51     1k