src/Sequents/Sequents.thy
1999-08-03 paulson Sara Kalvala: moving the <<...>> notation from LK to Sequents
1999-07-28 paulson removed the unused SeqVar option
1999-07-27 paulson installation of simplifier and classical reasoner, better rules etc
1999-06-11 paulson fixed title line; added spacing
1996-10-09 paulson New unified treatment of sequent calculi by Sara Kalvala
less more (0) tip