| .. | | 25-Jul-2019 | 169 |
| Argo/ | H | 25-Jul-2019 | 5 |
| arith_data.ML | H A D | 25-Jul-2019 | 3.6 KiB |
| ATP/ | H | 25-Jul-2019 | 13 |
| BNF/ | H | 25-Jul-2019 | 39 |
| boolean_algebra_cancel.ML | H A D | 25-Jul-2019 | 3.1 KiB |
| choice_specification.ML | H A D | 25-Jul-2019 | 7.4 KiB |
| cnf.ML | H A D | 25-Jul-2019 | 28.1 KiB |
| code_evaluation.ML | H A D | 25-Jul-2019 | 6.1 KiB |
| coinduction.ML | H A D | 25-Jul-2019 | 7.3 KiB |
| Ctr_Sugar/ | H | 25-Jul-2019 | 7 |
| datatype_realizer.ML | H A D | 25-Jul-2019 | 10.1 KiB |
| etc/ | H | 25-Jul-2019 | 3 |
| Function/ | H | 25-Jul-2019 | 22 |
| functor.ML | H A D | 25-Jul-2019 | 11.2 KiB |
| groebner.ML | H A D | 25-Jul-2019 | 35.1 KiB |
| group_cancel.ML | H A D | 25-Jul-2019 | 3.4 KiB |
| hologic.ML | H A D | 25-Jul-2019 | 22.2 KiB |
| inductive.ML | H A D | 25-Jul-2019 | 51.7 KiB |
| inductive_realizer.ML | H A D | 25-Jul-2019 | 22.8 KiB |
| inductive_set.ML | H A D | 25-Jul-2019 | 23.5 KiB |
| int_arith.ML | H A D | 25-Jul-2019 | 3.5 KiB |
| lambda_lifting.ML | H A D | 25-Jul-2019 | 3.1 KiB |
| legacy_transfer.ML | H A D | 25-Jul-2019 | 10 KiB |
| Lifting/ | H | 25-Jul-2019 | 9 |
| lin_arith.ML | H A D | 25-Jul-2019 | 49.4 KiB |
| literal.ML | H A D | 25-Jul-2019 | 4.2 KiB |
| Meson/ | H | 25-Jul-2019 | 5 |
| Metis/ | H | 25-Jul-2019 | 5 |
| monomorph.ML | H A D | 25-Jul-2019 | 11.3 KiB |
| nat_arith.ML | H A D | 25-Jul-2019 | 2.5 KiB |
| nat_numeral_simprocs.ML | H A D | 25-Jul-2019 | 14.8 KiB |
| Nitpick/ | H | 25-Jul-2019 | 17 |
| numeral.ML | H A D | 25-Jul-2019 | 3.4 KiB |
| numeral_simprocs.ML | H A D | 25-Jul-2019 | 27.7 KiB |
| Nunchaku/ | H | 25-Jul-2019 | 12 |
| Old_Datatype/ | H | 25-Jul-2019 | 9 |
| Predicate_Compile/ | H | 25-Jul-2019 | 15 |
| prop_logic.ML | H A D | 25-Jul-2019 | 17.3 KiB |
| Qelim/ | H | 25-Jul-2019 | 5 |
| Quickcheck/ | H | 25-Jul-2019 | 10 |
| Quotient/ | H | 25-Jul-2019 | 7 |
| recdef.ML | H A D | 25-Jul-2019 | 131 |
| record.ML | H A D | 25-Jul-2019 | 93.2 KiB |
| reflection.ML | H A D | 25-Jul-2019 | 3.4 KiB |
| reification.ML | H A D | 25-Jul-2019 | 12.3 KiB |
| rewrite_hol_proof.ML | H A D | 25-Jul-2019 | 27 KiB |
| sat.ML | H A D | 25-Jul-2019 | 23.4 KiB |
| sat_solver.ML | H A D | 25-Jul-2019 | 47 KiB |
| semiring_normalizer.ML | H A D | 25-Jul-2019 | 31.9 KiB |
| set_comprehension_pointfree.ML | H A D | 25-Jul-2019 | 19.5 KiB |
| simpdata.ML | H A D | 25-Jul-2019 | 6.3 KiB |
| Sledgehammer/ | H | 25-Jul-2019 | 20 |
| SMT/ | H | 25-Jul-2019 | 30 |
| split_rule.ML | H A D | 25-Jul-2019 | 4.2 KiB |
| string_syntax.ML | H A D | 25-Jul-2019 | 4.1 KiB |
| Transfer/ | H | 25-Jul-2019 | 4 |
| try0.ML | H A D | 25-Jul-2019 | 7.3 KiB |
| typedef.ML | H A D | 25-Jul-2019 | 14.8 KiB |
| value_command.ML | H A D | 25-Jul-2019 | 2.9 KiB |