| Thu, 03 Aug 2017 11:38:55 +0200 | nipkow | merged | changeset | files |
| Thu, 03 Aug 2017 09:30:09 +0200 | nipkow | added lemmas | changeset | files |
| Wed, 02 Aug 2017 20:33:39 +0200 | haftmann | simplified function specification history: each pending function specification is historized at the end of a theory, without additional bookkeeping; | changeset | files |
| Thu, 03 Aug 2017 07:31:25 +0200 | nipkow | merged | changeset | files |
| Wed, 02 Aug 2017 18:22:02 +0200 | nipkow | generalized lemma | changeset | files |
| Tue, 01 Aug 2017 20:38:39 +0200 | haftmann | tuned references | changeset | files |
| Wed, 02 Aug 2017 16:31:42 +0200 | paulson | fixed another horrible proof | changeset | files |