author | haftmann |
Wed, 08 Dec 2010 15:05:46 +0100 | |
changeset 41082 | 9ff94e7cc3b3 |
parent 38504 | 76965c356d2a |
child 42841 | 9079f49053e5 |
permissions | -rw-r--r-- |
37694 | 1 |
|
2 |
(* Classical Higher-order Logic -- batteries included *) |
|
3 |
||
4 |
use_thys ["Library", "List_Prefix", "List_lexord", "Sublist_Order", |
|
38504
76965c356d2a
removed Code_Prolog: modifies global environment setup non-conservatively
haftmann
parents:
38137
diff
changeset
|
5 |
"Code_Char_chr", "Code_Integer", "Efficient_Nat", "Executable_Set"(*, "Code_Prolog"*)]; |