equal
deleted
inserted
replaced
8 "document/root.bib" |
8 "document/root.bib" |
9 "document/root.tex" |
9 "document/root.tex" |
10 |
10 |
11 session "HOL-Proofs" = Pure + |
11 session "HOL-Proofs" = Pure + |
12 description {* HOL-Main with explicit proof terms *} |
12 description {* HOL-Main with explicit proof terms *} |
13 options [document = false, proofs = 2, parallel_proofs = 0] |
13 options [document = false, proofs = 2] |
14 theories Main |
14 theories Main |
15 files |
15 files |
16 "Tools/Quickcheck/Narrowing_Engine.hs" |
16 "Tools/Quickcheck/Narrowing_Engine.hs" |
17 "Tools/Quickcheck/PNF_Narrowing_Engine.hs" |
17 "Tools/Quickcheck/PNF_Narrowing_Engine.hs" |
18 |
18 |