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