| Sun, 26 Aug 2012 22:32:22 +0200 | wenzelm | updated Theory.begin_theory; | file | diff | annotate |
| Wed, 28 Mar 2012 11:17:32 +0200 | wenzelm | updated Sign.add_type, Name_Space.declare; | file | diff | annotate |
| Wed, 15 Feb 2012 17:49:03 +0100 | wenzelm | updated refs; | file | diff | annotate |
| Sat, 25 Jun 2011 17:17:49 +0200 | wenzelm | clarified Binding.pretty/print: no quotes, only markup -- Binding.str_of is rendered obsolete; | file | diff | annotate |
| Thu, 09 Jun 2011 20:22:22 +0200 | wenzelm | tuned signature: Name.invent and Name.invent_names; | file | diff | annotate |
| Thu, 09 Jun 2011 17:51:49 +0200 | wenzelm | simplified Name.variant -- discontinued builtin fold_map; | file | diff | annotate |
| Mon, 02 May 2011 16:33:21 +0200 | wenzelm | added Attrib.setup_config_XXX conveniences, with implicit setup of the background theory; | file | diff | annotate |