| 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
|
| Tue, 27 Sep 2022 17:03:23 +0100 |
paulson |
more modernisation of syntax
|
changeset |
files
|
| Tue, 27 Sep 2022 16:51:35 +0100 |
paulson |
Removal of obsolete ASCII syntax
|
changeset |
files
|
| Tue, 27 Sep 2022 13:34:54 +0200 |
wenzelm |
clarified options;
|
changeset |
files
|
| Mon, 26 Sep 2022 20:40:37 +0200 |
wenzelm |
merged
|
changeset |
files
|
| Mon, 26 Sep 2022 20:40:19 +0200 |
wenzelm |
provide missing LaTeX macro, e.g. for AFP/PAC_Checker;
|
changeset |
files
|
| Mon, 26 Sep 2022 11:30:44 +0200 |
wenzelm |
clarified signature;
|
changeset |
files
|