src/Pure/ROOT.ML
changeset 61268 abe08fb15a12
parent 61261 ddb2da7cb2e4
child 61454 c86286ae9fe5
     1.1 --- a/src/Pure/ROOT.ML	Fri Sep 25 20:04:25 2015 +0200
     1.2 +++ b/src/Pure/ROOT.ML	Fri Sep 25 20:37:59 2015 +0200
     1.3 @@ -195,7 +195,6 @@
     1.4  use "raw_simplifier.ML";
     1.5  use "conjunction.ML";
     1.6  use "assumption.ML";
     1.7 -use "display.ML";
     1.8  
     1.9  
    1.10  (* Isar -- Intelligible Semi-Automated Reasoning *)