Wed, 27 Sep 2006 00:52:59 +0200 | huffman | add lemmas of_int_in_Reals, of_nat_in_Reals | changeset | files |
Tue, 26 Sep 2006 22:37:51 +0200 | huffman | add header | changeset | files |
Tue, 26 Sep 2006 17:33:04 +0200 | krauss | Changed precedence of "op O" (relation composition) from 60 to 75. | changeset | files |
Tue, 26 Sep 2006 13:34:35 +0200 | haftmann | handling of \<^const> syntax for case; explicit case names for induction rules for rep_datatype | changeset | files |
Tue, 26 Sep 2006 13:34:17 +0200 | haftmann | tuned syntax for <= < | changeset | files |
Tue, 26 Sep 2006 13:34:16 +0200 | haftmann | renamed 0 and 1 to HOL.zero and HOL.one respectivly; introduced corresponding syntactic classes | changeset | files |