src/FOLP/ex/Prolog.ML
2009-07-21 wenzelm 2009-07-21 proper context for Display.pretty_thm etc. or old-style versions Display.pretty_thm_global, Display.pretty_thm_without_context etc.;
2007-09-15 haftmann 2007-09-15 fixed title
1998-06-22 wenzelm 1998-06-22 isatool fixgoal;
1996-01-30 clasohm 1996-01-30 expanded tabs; removed commit() from ROOT.ML
1996-01-29 clasohm 1996-01-29 expanded tabs
1993-09-16 clasohm 1993-09-16 Initial revision