| author | huffman |
| Mon, 01 Aug 2011 09:31:10 -0700 | |
| changeset 44877 | b9839fad3bb6 |
| parent 43710 | 9079f49053e5 |
| child 45432 | 73f84bf0c6ac |
| permissions | -rw-r--r-- |
| haftmann@37685 | 1 |
|
| haftmann@37685 | 2 |
(* Classical Higher-order Logic -- batteries included *) |
| haftmann@37685 | 3 |
|
| haftmann@37685 | 4 |
use_thys ["Library", "List_Prefix", "List_lexord", "Sublist_Order", |
| huffman@44877 | 5 |
"Product_Lattice", |
| bulwahn@43710 | 6 |
"Code_Char_chr", "Code_Char_ord", "Code_Integer", "Efficient_Nat", "Executable_Set"(*, "Code_Prolog"*)]; |