| author | wenzelm |
| Sun, 30 Jan 2011 13:02:18 +0100 | |
| changeset 41648 | 6d736d983d5c |
| parent 41413 | 64cd30d6b0b8 |
| permissions | -rw-r--r-- |
|
41413
64cd30d6b0b8
explicit file specifications -- avoid secondary load path;
wenzelm
parents:
39157
diff
changeset
|
1 |
no_document use_thys ["~~/src/HOL/Library/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"]; |