1 (* Title: HOL/Quotient_Examples/ROOT.ML
2 Author: Cezary Kaliszyk and Christian Urban
3
4 Testing the quotient package.
5 *)
6
7 use_thys ["LarryInt", "LarryDatatype"];
8