isabelle: Changelog

nipkow [Fri, 17 May 2002 08:53:40 +0200] rev 13156

Used to be Divides.ML

paulson [Thu, 16 May 2002 09:16:22 +0200] rev 13155

converting Ordinal.ML to Isar format

nipkow [Wed, 15 May 2002 13:50:38 +0200] rev 13154

Set up arith to deal with div 2 and mod 2.

nipkow [Wed, 15 May 2002 13:50:16 +0200] rev 13153

arith can now deal with div 2 and mod 2.

nipkow [Wed, 15 May 2002 13:49:51 +0200] rev 13152

Divides.ML -> Divides_lemmas.ML Converted Divides.thy to Isar.

nipkow [Wed, 15 May 2002 11:51:20 +0200] rev 13151

Removed superfluous thm

paulson [Wed, 15 May 2002 10:44:58 +0200] rev 13150

better error messages for datatypes not declared Const

paulson [Wed, 15 May 2002 10:42:32 +0200] rev 13149

better simplification of trivial existential equalities

kleing [Tue, 14 May 2002 12:33:42 +0200] rev 13148

numerals work again

nipkow [Mon, 13 May 2002 15:45:21 +0200] rev 13147

*** empty log message ***

isabelle