Sat, 15 Mar 2008 18:07:58 +0100 removed obsolete PureThy.thms_containing_consts;
wenzelm [Sat, 15 Mar 2008 18:07:58 +0100] rev 26277
removed obsolete PureThy.thms_containing_consts;
Sat, 15 Mar 2008 08:11:17 +0100 explicit re-init
haftmann [Sat, 15 Mar 2008 08:11:17 +0100] rev 26276
explicit re-init
Sat, 15 Mar 2008 08:11:16 +0100 (continued)
haftmann [Sat, 15 Mar 2008 08:11:16 +0100] rev 26275
(continued)
Sat, 15 Mar 2008 08:11:15 +0100 continued localization
haftmann [Sat, 15 Mar 2008 08:11:15 +0100] rev 26274
continued localization
Fri, 14 Mar 2008 19:58:01 +0100 Orders as relations
nipkow [Fri, 14 Mar 2008 19:58:01 +0100] rev 26273
Orders as relations
Fri, 14 Mar 2008 19:57:32 +0100 Added Order_Relation
nipkow [Fri, 14 Mar 2008 19:57:32 +0100] rev 26272
Added Order_Relation
Fri, 14 Mar 2008 19:57:12 +0100 Added lemmas
nipkow [Fri, 14 Mar 2008 19:57:12 +0100] rev 26271
Added lemmas
Fri, 14 Mar 2008 12:18:56 +0100 restore instead of init
haftmann [Fri, 14 Mar 2008 12:18:56 +0100] rev 26270
restore instead of init
Fri, 14 Mar 2008 08:52:55 +0100 restore replaces reinit
haftmann [Fri, 14 Mar 2008 08:52:55 +0100] rev 26269
restore replaces reinit
Fri, 14 Mar 2008 08:52:53 +0100 added mk_const functions
haftmann [Fri, 14 Mar 2008 08:52:53 +0100] rev 26268
added mk_const functions
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip