| Wed, 17 Aug 2011 16:01:27 +0200 | wenzelm | some convenience actions/shortcuts for control symbols; | changeset | files |
| Wed, 17 Aug 2011 15:14:48 +0200 | wenzelm | export Function_Fun.fun_config for user convenience; | changeset | files |
| Wed, 17 Aug 2011 13:14:20 +0200 | wenzelm | moved theory Nested_Environment to HOL-Unix (a bit too specific for HOL-Library); | changeset | files |