Theory PreBasis

Up to index of Isabelle/Bali5

theory PreBasis = Main:

(**
 "hide type var" is not possible **)
  hide const In0 In1

end