paulson [Fri, 05 Mar 2004 15:18:59 +0100] rev 14435
Conversion of Poly to Isar script, and other tidying of HOL/Hyperreal
paulson [Fri, 05 Mar 2004 11:43:55 +0100] rev 14434
patch to NumberTheory problems caused by Parity
kleing [Fri, 05 Mar 2004 07:46:07 +0100] rev 14433
do not remove heaps, used for afp test
nipkow [Thu, 04 Mar 2004 15:49:42 +0100] rev 14432
Lex: ML -> thy
nipkow [Thu, 04 Mar 2004 15:48:38 +0100] rev 14431
ML -> Isar
paulson [Thu, 04 Mar 2004 12:06:07 +0100] rev 14430
new material from Avigad, and simplified treatment of division by 0
nipkow [Thu, 04 Mar 2004 10:06:13 +0100] rev 14429
Removed ML files from Lex
nipkow [Thu, 04 Mar 2004 10:04:42 +0100] rev 14428
Conversion of ML files to Isar.
schirmer [Wed, 03 Mar 2004 22:58:23 +0100] rev 14427
added record_ex_sel_eq_simproc
paulson [Tue, 02 Mar 2004 11:06:37 +0100] rev 14426
fixed bugs in the setup of arithmetic procedures