Wed, 03 Mar 2004 22:58:23 +0100 added record_ex_sel_eq_simproc
schirmer [Wed, 03 Mar 2004 22:58:23 +0100] rev 14427
added record_ex_sel_eq_simproc
Tue, 02 Mar 2004 11:06:37 +0100 fixed bugs in the setup of arithmetic procedures
paulson [Tue, 02 Mar 2004 11:06:37 +0100] rev 14426
fixed bugs in the setup of arithmetic procedures
Tue, 02 Mar 2004 11:05:55 +0100 converted Hyperreal/IntFloor to Isar script
paulson [Tue, 02 Mar 2004 11:05:55 +0100] rev 14425
converted Hyperreal/IntFloor to Isar script
Tue, 02 Mar 2004 01:46:26 +0100 tuned. proofs still gruesome..
kleing [Tue, 02 Mar 2004 01:46:26 +0100] rev 14424
tuned. proofs still gruesome..
Tue, 02 Mar 2004 01:34:54 +0100 converted MiniML to Isar
kleing [Tue, 02 Mar 2004 01:34:54 +0100] rev 14423
converted MiniML to Isar
Tue, 02 Mar 2004 01:32:23 +0100 converted to Isar
kleing [Tue, 02 Mar 2004 01:32:23 +0100] rev 14422
converted to Isar
Mon, 01 Mar 2004 13:51:21 +0100 new Ring_and_Field hierarchy, eliminating redundant axioms
paulson [Mon, 01 Mar 2004 13:51:21 +0100] rev 14421
new Ring_and_Field hierarchy, eliminating redundant axioms
Mon, 01 Mar 2004 11:52:59 +0100 converted Hyperreal/HTranscendental to Isar script
paulson [Mon, 01 Mar 2004 11:52:59 +0100] rev 14420
converted Hyperreal/HTranscendental to Isar script
Mon, 01 Mar 2004 05:39:32 +0100 converted to Isar
kleing [Mon, 01 Mar 2004 05:39:32 +0100] rev 14419
converted to Isar
Mon, 01 Mar 2004 05:21:43 +0100 union/intersection over intervals
kleing [Mon, 01 Mar 2004 05:21:43 +0100] rev 14418
union/intersection over intervals
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip