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 |