1 (* Title: Sequents/ROOT.ML
2 Author: Lawrence C Paulson, Cambridge University Computer Laboratory
3 Copyright 1991 University of Cambridge
4
5 Classical Sequent Calculus based on Pure Isabelle.
6 *)
7
8 use_thys ["LK", "ILL", "ILL_predlog", "Washing", "Modal0", "T", "S4", "S43"];