equal
deleted
inserted
replaced
71 "Gauge_Integration", |
71 "Gauge_Integration", |
72 "Dedekind_Real", |
72 "Dedekind_Real", |
73 "Quicksort", |
73 "Quicksort", |
74 "Birthday_Paradoxon", |
74 "Birthday_Paradoxon", |
75 "List_to_Set_Comprehension_Examples", |
75 "List_to_Set_Comprehension_Examples", |
76 "Set_Algebras" |
76 "Set_Algebras", |
|
77 "TPTP" |
77 ]; |
78 ]; |
78 |
79 |
79 if getenv "ISABELLE_GHC" = "" then () |
80 if getenv "ISABELLE_GHC" = "" then () |
80 else use_thy "Quickcheck_Narrowing_Examples"; |
81 else use_thy "Quickcheck_Narrowing_Examples"; |
81 |
82 |