| Wed, 17 Aug 2011 07:13:13 +0200 | haftmann | merged | changeset | files |
| Tue, 16 Aug 2011 19:47:50 +0200 | haftmann | avoid Collect_def in proof | changeset | files |
| Wed, 17 Aug 2011 18:05:31 +0200 | wenzelm | modernized signature of Term.absfree/absdummy; | changeset | files |
| Wed, 17 Aug 2011 16:46:58 +0200 | wenzelm | improved default context for ML toplevel pretty-printing; | changeset | files |
| Wed, 17 Aug 2011 16:30:38 +0200 | wenzelm | less verbosity for 'function' and 'fun': observe "int" flag more carefully (cf. a32ca9165928); | changeset | files |
| 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 |