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