lcp [Tue, 08 Nov 1994 11:21:33 +0100] rev 166
HOL/ROOT/HOL_dup_cs: removed as obsolete
HOL/ROOT: now passes "classical" to Classical_Fun
HOL/ROOT: no longer proves rev_cut_eq for hyp_subst_tac
clasohm [Sun, 06 Nov 1994 21:04:50 +0100] rev 165
changed loadpath
clasohm [Sun, 06 Nov 1994 21:04:39 +0100] rev 164
changed command for making 'test'
wenzelm [Fri, 04 Nov 1994 14:19:30 +0100] rev 163
rearranged theory section stuff;
added hologic.ML, subtype.ML;
wenzelm [Fri, 04 Nov 1994 14:17:20 +0100] rev 162
moved section parser to thy_syntax.ML;
wenzelm [Fri, 04 Nov 1994 14:16:39 +0100] rev 161
lnternal interface for HOL subtype definitions;
wenzelm [Fri, 04 Nov 1994 14:15:29 +0100] rev 160
additional theory file sections for HOL;
wenzelm [Fri, 04 Nov 1994 14:14:22 +0100] rev 159
abstract syntax operations for HOL;
nipkow [Thu, 03 Nov 1994 11:36:54 +0100] rev 158
Replaced fast_tac by simp_tac in a number of places.
Shorter and almost 20% faster.
clasohm [Wed, 02 Nov 1994 15:26:13 +0100] rev 157
added IOA files