| Thu, 03 Aug 2017 11:29:08 +0200 | paulson | more tidying up | changeset | files |
| Thu, 03 Aug 2017 10:52:13 +0200 | paulson | merged | changeset | files |
| Thu, 03 Aug 2017 08:09:15 +0200 | paulson | merged | changeset | files |
| Wed, 02 Aug 2017 23:15:15 +0200 | paulson | removed all "guess" | changeset | files |
| Thu, 03 Aug 2017 23:03:44 +0200 | nipkow | tuned | changeset | files |
| 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 |
| Tue, 01 Aug 2017 22:19:37 +0200 | wenzelm | misc tuning and modernization; | changeset | files |
| Tue, 01 Aug 2017 17:33:04 +0200 | wenzelm | isabelle update_cartouches -c -t; | changeset | files |
| Tue, 01 Aug 2017 17:30:02 +0200 | wenzelm | misc tuning and modernization; | changeset | files |
| Tue, 01 Aug 2017 10:28:42 +0200 | nipkow | new lemma | changeset | files |