equal
deleted
inserted
replaced
18 description {* |
18 description {* |
19 HOL-Main with explicit proof terms. |
19 HOL-Main with explicit proof terms. |
20 *} |
20 *} |
21 options [document = false, quick_and_dirty = false] |
21 options [document = false, quick_and_dirty = false] |
22 theories Proofs (*sequential change of global flag!*) |
22 theories Proofs (*sequential change of global flag!*) |
23 theories "~~/src/HOL/Library/Old_Datatype" |
23 theories List |
|
24 theories [checkpoint] "~~/src/HOL/Library/Old_Datatype" |
24 files |
25 files |
25 "Tools/Quickcheck/Narrowing_Engine.hs" |
26 "Tools/Quickcheck/Narrowing_Engine.hs" |
26 "Tools/Quickcheck/PNF_Narrowing_Engine.hs" |
27 "Tools/Quickcheck/PNF_Narrowing_Engine.hs" |
27 |
28 |
28 session "HOL-Library" (main) in Library = HOL + |
29 session "HOL-Library" (main) in Library = HOL + |