| Wed, 03 Sep 2008 12:11:28 +0200 | nipkow | removed ex/Puzzle | changeset | files |
| Wed, 03 Sep 2008 11:44:52 +0200 | wenzelm | added qualified: string -> binding -> binding; | changeset | files |
| Wed, 03 Sep 2008 11:44:48 +0200 | wenzelm | Name.qualified; | changeset | files |
| Wed, 03 Sep 2008 11:27:15 +0200 | wenzelm | theorem dependency hook: check previous state; | changeset | files |
| Wed, 03 Sep 2008 11:26:59 +0200 | wenzelm | added pos_of; | changeset | files |
| Wed, 03 Sep 2008 11:18:55 +0200 | nipkow | -> AFP | changeset | files |
| Wed, 03 Sep 2008 11:09:08 +0200 | wenzelm | simplified Toplevel.add_hook: cover successful transactions only; | changeset | files |
| Wed, 03 Sep 2008 00:11:27 +0200 | kleing | retired Ben Porter's DenumRat in favour of the shorter proof in | changeset | files |