Thu, 04 Mar 2004 15:49:42 +0100 Lex: ML -> thy
nipkow [Thu, 04 Mar 2004 15:49:42 +0100] rev 14432
Lex: ML -> thy
Thu, 04 Mar 2004 15:48:38 +0100 ML -> Isar
nipkow [Thu, 04 Mar 2004 15:48:38 +0100] rev 14431
ML -> Isar
Thu, 04 Mar 2004 12:06:07 +0100 new material from Avigad, and simplified treatment of division by 0
paulson [Thu, 04 Mar 2004 12:06:07 +0100] rev 14430
new material from Avigad, and simplified treatment of division by 0
Thu, 04 Mar 2004 10:06:13 +0100 Removed ML files from Lex
nipkow [Thu, 04 Mar 2004 10:06:13 +0100] rev 14429
Removed ML files from Lex
Thu, 04 Mar 2004 10:04:42 +0100 Conversion of ML files to Isar.
nipkow [Thu, 04 Mar 2004 10:04:42 +0100] rev 14428
Conversion of ML files to Isar.
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
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip