Name | Date | Size | ||
---|---|---|---|---|
.. | 25-Jul-2019 | 9 | ||
domain.ML | H A D | 25-Jul-2019 | 9.3 KiB | |
domain_axioms.ML | H A D | 25-Jul-2019 | 3.8 KiB | |
domain_constructors.ML | H A D | 25-Jul-2019 | 35 KiB | |
domain_induction.ML | H A D | 25-Jul-2019 | 16.3 KiB | |
domain_isomorphism.ML | H A D | 25-Jul-2019 | 29.3 KiB | |
domain_take_proofs.ML | H A D | 25-Jul-2019 | 20.1 KiB |