unused;
authorwenzelm
Fri Sep 29 22:43:29 2017 +0200 (20 months ago)
changeset 667229c661b74ce92
parent 66721 ae38b8c0fdd9
child 66723 18cc87e2335f
unused;
src/Pure/Thy/sessions.scala
     1.1 --- a/src/Pure/Thy/sessions.scala	Fri Sep 29 22:41:19 2017 +0200
     1.2 +++ b/src/Pure/Thy/sessions.scala	Fri Sep 29 22:43:29 2017 +0200
     1.3 @@ -102,8 +102,6 @@
     1.4  
     1.5    object Base
     1.6    {
     1.7 -    def pure(options: Options): Base = session_base(options, Thy_Header.PURE)
     1.8 -
     1.9      def bootstrap(global_theories: Map[String, String]): Base =
    1.10        Base(
    1.11          global_theories = global_theories,