Theory PreBasis

Up to index of Isabelle/Bali4

theory PreBasis = Main:

(*hide type var*)
hide const In0 In1

end