Wed, 01 Jan 2014 12:57:26 +0100 | wenzelm | avoid unicode text, which causes problems when recoding symbols (e.g. via UTF8-Isabelle in Isabelle/jEdit); | changeset | files |
Wed, 01 Jan 2014 15:55:11 +0100 | haftmann | dropped obsolete references to recdef | changeset | files |