2000-05-30 | wenzelm | cleaned up; | file | diff | annotate |
1999-07-28 | paulson | sequents require higher bounds | file | diff | annotate |
1999-07-27 | paulson | installation of simplifier and classical reasoner, better rules etc | file | diff | annotate |
1999-03-11 | wenzelm | removed foo_build_completed -- now handled by session management (via usedir); | file | diff | annotate |
1998-07-28 | wenzelm | removed global_names flag; | file | diff | annotate |
1997-10-20 | wenzelm | adapted to qualified names; | file | diff | annotate |
1997-07-09 | wenzelm | removed obsolete init_pps and init_thy_reader; | file | diff | annotate |
1996-11-27 | paulson | Replaced obsolete "use" command | file | diff | annotate |
1996-10-09 | paulson | New unified treatment of sequent calculi by Sara Kalvala | file | diff | annotate |