Mon, 01 Feb 2010 22:46:12 +0100 | wenzelm | more details on long names, binding/naming, name space; | changeset | files |
Sun, 31 Jan 2010 22:08:25 +0100 | wenzelm | Variable.names_of; | changeset | files |
Sun, 31 Jan 2010 21:40:44 +0100 | wenzelm | more details on Isabelle symbols; | changeset | files |