Wed, 27 Sep 2006 01:18:35 +0200 more lemmas about Standard and star_of
huffman [Wed, 27 Sep 2006 01:18:35 +0200] rev 20720
more lemmas about Standard and star_of
Wed, 27 Sep 2006 00:54:10 +0200 define new constant Standard = range star_of
huffman [Wed, 27 Sep 2006 00:54:10 +0200] rev 20719
define new constant Standard = range star_of
Wed, 27 Sep 2006 00:52:59 +0200 add lemmas of_int_in_Reals, of_nat_in_Reals
huffman [Wed, 27 Sep 2006 00:52:59 +0200] rev 20718
add lemmas of_int_in_Reals, of_nat_in_Reals
Tue, 26 Sep 2006 22:37:51 +0200 add header
huffman [Tue, 26 Sep 2006 22:37:51 +0200] rev 20717
add header
Tue, 26 Sep 2006 17:33:04 +0200 Changed precedence of "op O" (relation composition) from 60 to 75.
krauss [Tue, 26 Sep 2006 17:33:04 +0200] rev 20716
Changed precedence of "op O" (relation composition) from 60 to 75.
Tue, 26 Sep 2006 13:34:35 +0200 handling of \<^const> syntax for case; explicit case names for induction rules for rep_datatype
haftmann [Tue, 26 Sep 2006 13:34:35 +0200] rev 20715
handling of \<^const> syntax for case; explicit case names for induction rules for rep_datatype
Tue, 26 Sep 2006 13:34:17 +0200 tuned syntax for <= <
haftmann [Tue, 26 Sep 2006 13:34:17 +0200] rev 20714
tuned syntax for <= <
Tue, 26 Sep 2006 13:34:16 +0200 renamed 0 and 1 to HOL.zero and HOL.one respectivly; introduced corresponding syntactic classes
haftmann [Tue, 26 Sep 2006 13:34:16 +0200] rev 20713
renamed 0 and 1 to HOL.zero and HOL.one respectivly; introduced corresponding syntactic classes
Tue, 26 Sep 2006 13:34:15 +0200 renamed 0 and 1 to HOL.zero and HOL.one respectivly
haftmann [Tue, 26 Sep 2006 13:34:15 +0200] rev 20712
renamed 0 and 1 to HOL.zero and HOL.one respectivly
Tue, 26 Sep 2006 11:11:57 +0200 fixed the definition of "depth"
paulson [Tue, 26 Sep 2006 11:11:57 +0200] rev 20711
fixed the definition of "depth"
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip