equal
deleted
inserted
replaced
973 session "HOL-Predicate_Compile_Examples" in Predicate_Compile_Examples = HOL + |
973 session "HOL-Predicate_Compile_Examples" in Predicate_Compile_Examples = HOL + |
974 options [document = false] |
974 options [document = false] |
975 theories |
975 theories |
976 Examples |
976 Examples |
977 Predicate_Compile_Tests |
977 Predicate_Compile_Tests |
978 (* FIXME |
978 Predicate_Compile_Quickcheck_Examples |
979 Predicate_Compile_Quickcheck_Examples -- should be added again soon (since 21-Oct-2010) *) |
|
980 Specialisation_Examples |
979 Specialisation_Examples |
981 IMP_1 |
980 IMP_1 |
982 IMP_2 |
981 IMP_2 |
983 (* FIXME since 21-Jul-2011 |
982 (* FIXME since 21-Jul-2011 |
984 Hotel_Example_Small_Generator |
983 Hotel_Example_Small_Generator *) |
985 IMP_3 |
984 IMP_3 |
986 IMP_4 *) |
985 IMP_4 |
987 theories [condition = "ISABELLE_SWIPL"] |
986 theories [condition = "ISABELLE_SWIPL"] |
988 Code_Prolog_Examples |
987 Code_Prolog_Examples |
989 Context_Free_Grammar_Example |
988 Context_Free_Grammar_Example |
990 Hotel_Example_Prolog |
989 Hotel_Example_Prolog |
991 Lambda_Example |
990 Lambda_Example |