src/Pure/ROOT.ML
changeset 62825 e6e80a8bf624
parent 62818 2733b240bfea
child 62845 31177a9c3025
     1.1 --- a/src/Pure/ROOT.ML	Sat Apr 02 22:46:12 2016 +0200
     1.2 +++ b/src/Pure/ROOT.ML	Sat Apr 02 23:14:08 2016 +0200
     1.3 @@ -346,3 +346,5 @@
     1.4  val use_thy = use_thys o single;
     1.5  
     1.6  Proofterm.proofs := 0;
     1.7 +
     1.8 +structure PolyML = struct structure IntInf = PolyML.IntInf end;