| Tue, 12 Nov 2019 12:33:05 +0000 | paulson | New library material from the AFP entry ZFC_in_HOL | changeset | files |
| Mon, 11 Nov 2019 07:16:17 +0000 | haftmann | tuned order between theories | changeset | files |
| Sat, 09 Nov 2019 15:39:21 +0000 | haftmann | bit shifts as class operations | changeset | files |
| Sat, 09 Nov 2019 10:38:51 +0000 | haftmann | new lemma | changeset | files |
| Fri, 08 Nov 2019 20:59:34 +0100 | wenzelm | tuned comments; | changeset | files |
| Fri, 08 Nov 2019 20:28:50 +0100 | wenzelm | merged | changeset | files |
| Fri, 08 Nov 2019 20:12:57 +0100 | wenzelm | retain type information from reconstruct_proof, notably for Export_Theory.export_thm; | changeset | files |
| Fri, 08 Nov 2019 20:12:06 +0100 | wenzelm | tuned proofs; | changeset | files |
| Fri, 08 Nov 2019 19:06:50 +0100 | wenzelm | clarified modules; | changeset | files |
| Fri, 08 Nov 2019 16:25:18 +0100 | wenzelm | more robust; | changeset | files |
| Fri, 08 Nov 2019 16:11:09 +0100 | wenzelm | tuned modules; | changeset | files |
| Fri, 08 Nov 2019 12:07:39 +0100 | wenzelm | tuned proofs -- more stable proof terms without [rule_format]; | changeset | files |