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
clasohm [Wed, 02 Nov 1994 11:50:09 +0100] rev 156
added IOA to isabelle/HOL