| Tue, 16 Apr 2024 13:29:27 +0200 | Manuel Eberl | canonical time function for List.nth | changeset | files |
| Mon, 15 Apr 2024 22:24:31 +0100 | paulson | merged | changeset | files |
| Mon, 15 Apr 2024 22:23:40 +0100 | paulson | Streamlining of many more archaic proofs | changeset | files |
| Mon, 15 Apr 2024 20:35:56 +0200 | Fabian Huch | clarified web app parameters: more flexible, using HTML5 id specification (nonempty unicode string with no spaces); | changeset | files |
| Sun, 14 Apr 2024 22:38:17 +0100 | paulson | More tidying of old proofs | changeset | files |
| Sun, 14 Apr 2024 18:39:53 +0100 | paulson | merged | changeset | files |
| Sun, 14 Apr 2024 18:39:43 +0100 | paulson | More tidying and removal of "apply" | changeset | files |
| Sat, 13 Apr 2024 10:22:14 +0200 | Simon Wimmer | Add subgoals variant of 'sketch' command | changeset | files |
| Fri, 12 Apr 2024 22:19:27 +0100 | paulson | merged | changeset | files |
| Fri, 12 Apr 2024 22:19:20 +0100 | paulson | Tidied some messy proofs | changeset | files |
| Thu, 11 Apr 2024 18:46:49 +0000 | haftmann | prefer canonical theorem name for fact collection declarations | changeset | files |
| Fri, 12 Apr 2024 09:58:53 +0100 | paulson | merged | changeset | files |
| Fri, 12 Apr 2024 09:58:32 +0100 | paulson | Tidying ugly proofs | changeset | files |
| Fri, 12 Apr 2024 10:10:16 +0200 | Fabian Huch | tuned; | changeset | files |