paulson [Tue, 21 May 2002 13:06:36 +0200] rev 13168
converted domrange to Isar and merged with equalities
paulson [Mon, 20 May 2002 12:59:59 +0200] rev 13167
conversion of WF to Isar format
paulson [Mon, 20 May 2002 12:45:17 +0200] rev 13166
conversion of equalities to Isar
paulson [Mon, 20 May 2002 11:45:57 +0200] rev 13165
conversion of equalities and WF to Isar
paulson [Sat, 18 May 2002 22:22:23 +0200] rev 13164
converted Epsilon to Isar
paulson [Sat, 18 May 2002 20:08:17 +0200] rev 13163
converted Arith, Univ, func to Isar format!
paulson [Fri, 17 May 2002 16:54:25 +0200] rev 13162
New theorems from Constructible, and moving some Isar material from Main
paulson [Fri, 17 May 2002 16:48:11 +0200] rev 13161
unsymbolize
paulson [Fri, 17 May 2002 16:47:24 +0200] rev 13160
deleting the obsolete theorem lt_succ_iff
nipkow [Fri, 17 May 2002 15:40:59 +0200] rev 13159
Turned into Isar theories.