equal
deleted
inserted
replaced
14 "HOL-Data_Structures.Tree_Set" |
14 "HOL-Data_Structures.Tree_Set" |
15 "HOL-Computational_Algebra.Computational_Algebra" |
15 "HOL-Computational_Algebra.Computational_Algebra" |
16 "HOL-Computational_Algebra.Polynomial_Factorial" |
16 "HOL-Computational_Algebra.Polynomial_Factorial" |
17 "HOL-Number_Theory.Eratosthenes" |
17 "HOL-Number_Theory.Eratosthenes" |
18 "HOL-ex.Records" |
18 "HOL-ex.Records" |
|
19 "HOL-Word.Word" |
19 begin |
20 begin |
20 |
21 |
21 text \<open>Drop technical stuff from \<^theory>\<open>HOL.Quickcheck_Narrowing\<close> which is tailored towards Haskell\<close> |
22 text \<open>Drop technical stuff from \<^theory>\<open>HOL.Quickcheck_Narrowing\<close> which is tailored towards Haskell\<close> |
22 |
23 |
23 setup \<open> |
24 setup \<open> |