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_ZFC.thy
author wenzelm
Thu, 17 Dec 2009 15:09:07 +0100
changeset 34096 e438a5875c16
parent 26057 f5d5c4922cdf
child 35762 af3ff2ba4c54
permissions -rw-r--r--
simplified message format: chunks with explicit size in bytes; robust message header via YXML.binary_text; standard_message: refer to thread position only; discontinued obsolete "-" output stream; tuned;
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: 
16417

diff
changeset




     3


theory Main_ZFC imports Main_ZF InfDatatype begin








12552






d2d2ab3f1f37
separation of the AC part of Main into Main_ZFC, plus a few new lemmas



paulson


parents: 

diff
changeset




     4














d2d2ab3f1f37
separation of the AC part of Main into Main_ZFC, plus a few new lemmas



paulson


parents: 

diff
changeset




     5


end















isabelle