(*This file combines my standard calls to #use into a single file for easier startup*)
#use "hol.ml";;
#use "Constructions/epsilon.ml";;
#use "Constructions/pseudoquotation.ml";;
#use "Constructions/QuotationTactics.ml";;
#use "Constructions/QuotationOperatorTests.ml";;
#use "Constructions/LEM_Example.ml";;
#use "Constructions/Induction_Schema_Example.ml";;