| 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 |