Wed, 03 Sep 2008 17:47:30 +0200 | wenzelm | Sign.declare_const: Name.binding; | changeset | files |
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 |