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/Constructible/ROOT.ML
author paulson
Wed, 19 Jun 2002 11:48:01 +0200
changeset 13223 45be08fbdcff
child 13245 714f7a423a15
permissions -rw-r--r--
new theory of inner models
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
13223
45be08fbdcff new theory of inner models
paulson
parents:
diff changeset 
     1
 
use_thy "Reflection";
45be08fbdcff new theory of inner models
paulson
parents:
diff changeset 
     2
 
use_thy "WFrec";
45be08fbdcff new theory of inner models
paulson
parents:
diff changeset 
     3
 
use_thy "WF_extras";
45be08fbdcff new theory of inner models
paulson
parents:
diff changeset 
     4
 
use_thy "L_axioms";
isabelle