Wed, 08 Jun 2011 15:56:57 +0200 | wenzelm | more robust exception pattern General.Subscript; | changeset | files |
Wed, 08 Jun 2011 15:39:55 +0200 | wenzelm | pervasive Output operations; | changeset | files |
Wed, 08 Jun 2011 15:25:44 +0200 | wenzelm | modernized Proof_Context; | changeset | files |