Wed, 09 Nov 2005 16:26:43 +0100 | wenzelm | added Isar/element.ML; | changeset | files |
Wed, 09 Nov 2005 16:26:41 +0100 | wenzelm | Thm.varifyT': natural argument order; | changeset | files |
Wed, 09 Nov 2005 12:21:05 +0100 | haftmann | added join function | changeset | files |