isabelle: File revisions

src/Sequents/ROOT.ML

2005-09-18	wenzelm	2005-09-18	converted to Isar theory format;	file \| diff \| annotate
2005-05-22	wenzelm	2005-05-22	Simplifier already setup in Pure;	file \| diff \| annotate
2000-05-30	wenzelm	2000-05-30	cleaned up;	file \| diff \| annotate
1999-07-28	paulson	1999-07-28	sequents require higher bounds	file \| diff \| annotate
1999-07-27	paulson	1999-07-27	installation of simplifier and classical reasoner, better rules etc	file \| diff \| annotate
1999-03-11	wenzelm	1999-03-11	removed foo_build_completed -- now handled by session management (via usedir);	file \| diff \| annotate
1998-07-28	wenzelm	1998-07-28	removed global_names flag;	file \| diff \| annotate
1997-10-20	wenzelm	1997-10-20	adapted to qualified names;	file \| diff \| annotate
1997-07-09	wenzelm	1997-07-09	removed obsolete init_pps and init_thy_reader;	file \| diff \| annotate
1996-11-27	paulson	1996-11-27	Replaced obsolete "use" command	file \| diff \| annotate
1996-10-09	paulson	1996-10-09	New unified treatment of sequent calculi by Sara Kalvala combines the old LK and Modal with the new ILL (Int. Linear Logic)	file \| diff \| annotate

isabelle