| Tue, 13 Sep 2005 22:19:19 +0200 | wenzelm | tuned IsarThy.theorem_i; | changeset | files |
| Tue, 13 Sep 2005 17:05:59 +0200 | obua | fixed INST: has same semantic now as INST_TYPE for repetitions | changeset | files |
| Mon, 12 Sep 2005 23:27:12 +0200 | huffman | list of constants and theorems whose names have been changed or merged | changeset | files |