| Thu, 01 Jan 2009 14:23:39 +0100 | wenzelm | Term.add_consts; | file | diff | annotate |
| Wed, 31 Dec 2008 19:54:03 +0100 | wenzelm | qualified Term.rename_wrt_term; | file | diff | annotate |
| Wed, 31 Dec 2008 00:08:13 +0100 | wenzelm | use regular Term.add_vars, Term.add_frees etc.; | file | diff | annotate |
| Tue, 28 Oct 2008 16:58:59 +0100 | haftmann | cleanup code default attribute | file | diff | annotate |
| Mon, 22 Sep 2008 08:00:24 +0200 | haftmann | fixed headers | file | diff | annotate |
| Tue, 29 Jul 2008 08:15:40 +0200 | haftmann | PureThy: dropped note_thmss_qualified, dropped _i suffix | file | diff | annotate |
| Sun, 18 May 2008 15:04:09 +0200 | wenzelm | moved global pretty/string_of functions from Sign to Syntax; | file | diff | annotate |
| Sat, 29 Mar 2008 13:03:09 +0100 | wenzelm | eliminated quiete_mode ref (not really needed); | file | diff | annotate |
| Thu, 06 Dec 2007 16:38:42 +0100 | haftmann | -authentic primrec | file | diff | annotate |
| Thu, 06 Dec 2007 15:10:09 +0100 | haftmann | added new primrec package | file | diff | annotate |