author | wenzelm |
Mon, 06 Sep 2010 14:18:16 +0200 | |
changeset 39157 | b98909faaea8 |
parent 39126 | src/HOL/Lambda/ROOT.ML@ee117c5b3b75 |
child 41413 | 64cd30d6b0b8 |
permissions | -rw-r--r-- |
26748
4d51ddd6aa5c
Merged theories about wellfoundedness into one: Wellfounded.thy
krauss
parents:
25374
diff
changeset
|
1 |
no_document use_thys ["Code_Integer"]; |
34205
f69cd974bc4e
explicit session HOL-Proofs -- avoid statefulness of main HOL image wrt. HOL_proofs etc.;
wenzelm
parents:
33615
diff
changeset
|
2 |
use_thys ["Eta", "StrongNorm", "Standardization", "WeakNorm"]; |