Fri, 07 Aug 2009 19:16:04 +0200 | wenzelm | tuned spacing of sections; | file | diff | annotate |
Thu, 30 Jul 2009 12:20:43 +0200 | wenzelm | qualified Subgoal.FOCUS; | file | diff | annotate |
Sun, 26 Jul 2009 20:38:11 +0200 | wenzelm | replaced old METAHYPS by FOCUS; | file | diff | annotate |
Tue, 21 Jul 2009 01:03:18 +0200 | wenzelm | proper context for Display.pretty_thm etc. or old-style versions Display.pretty_thm_global, Display.pretty_thm_without_context etc.; | file | diff | annotate |
Thu, 02 Jul 2009 17:34:14 +0200 | wenzelm | renamed NamedThmsFun to Named_Thms; | file | diff | annotate |
Fri, 19 Jun 2009 17:23:21 +0200 | haftmann | discontinued ancient tradition to suffix certain ML module names with "_package" | file | diff | annotate | base |