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
paulson [Tue, 02 Mar 2004 11:05:55 +0100] rev 14425
converted Hyperreal/IntFloor to Isar script
kleing [Tue, 02 Mar 2004 01:46:26 +0100] rev 14424
tuned. proofs still gruesome..
kleing [Tue, 02 Mar 2004 01:34:54 +0100] rev 14423
converted MiniML to Isar
kleing [Tue, 02 Mar 2004 01:32:23 +0100] rev 14422
converted to Isar
paulson [Mon, 01 Mar 2004 13:51:21 +0100] rev 14421
new Ring_and_Field hierarchy, eliminating redundant axioms