Wed, 28 Sep 2022 11:23:49 +0100 | paulson | fixed some theory presentation issues (?) | changeset | files |
Wed, 28 Sep 2022 11:00:13 +0200 | wenzelm | recover informal "&" from 0c18df79b1c8; | changeset | files |
Tue, 27 Sep 2022 22:57:30 +0100 | paulson | added a couple of structured proofs | changeset | files |
Tue, 27 Sep 2022 18:02:34 +0100 | paulson | More obsolete "unfold" calls | changeset | files |
Tue, 27 Sep 2022 17:54:20 +0100 | paulson | getting rid of apply (unfold ...) | changeset | files |
Tue, 27 Sep 2022 17:46:52 +0100 | paulson | More syntactic cleanup. LaTeX markup working | changeset | files |