Mercurial Mercurial > repos > isabelle / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/ZF/Main.thy
author wenzelm
Tue, 18 Mar 2008 20:33:29 +0100
changeset 26315 cb3badaa192e
parent 26057 f5d5c4922cdf
child 35762 af3ff2ba4c54
permissions -rw-r--r--
removed redundant less_trans, less_linear, le_imp_less_or_eq, le_less_trans, less_le_trans (cf. Orderings.thy); renamed less_imp_le to less_imp_le_nat;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
26057
f5d5c4922cdf added Id;
wenzelm
parents: 26056
diff changeset 
     1
 
(* $Id$ *)
f5d5c4922cdf added Id;
wenzelm
parents: 26056
diff changeset 
     2
 







26056






6a0801279f4c
Made theory names in ZF disjoint from HOL theory names to allow loading both developments



krauss


parents: 
24893

diff
changeset




     3


theory Main 













6a0801279f4c
Made theory names in ZF disjoint from HOL theory names to allow loading both developments



krauss


parents: 
24893

diff
changeset




     4


imports Main_ZF













6a0801279f4c
Made theory names in ZF disjoint from HOL theory names to allow loading both developments



krauss


parents: 
24893

diff
changeset




     5


begin








12620






4e6626725e21
Some new theorems for ordinals



paulson


parents: 
12552

diff
changeset




     6









12426






9032bdbc2125
new-style theory;



wenzelm


parents: 
9578

diff
changeset




     7


end















isabelle