Wed, 08 Jun 2011 22:16:21 +0200 | wenzelm | modernized structure ProofContext; | changeset | files |
Thu, 09 Jun 2011 17:58:42 +0200 | wenzelm | even more robust \isaspacing; | changeset | files |
Thu, 09 Jun 2011 17:51:49 +0200 | wenzelm | simplified Name.variant -- discontinued builtin fold_map; | changeset | files |