src/Doc/Isar_Ref/Proof_Script.thy
changeset 63531 847eefdca90d
parent 62969 9f394a16c557
child 67399 eab6ce8368fa
     1.1 --- a/src/Doc/Isar_Ref/Proof_Script.thy	Wed Jul 20 20:24:21 2016 +0200
     1.2 +++ b/src/Doc/Isar_Ref/Proof_Script.thy	Wed Jul 20 21:26:11 2016 +0200
     1.3 @@ -1,7 +1,7 @@
     1.4  (*:maxLineLen=78:*)
     1.5  
     1.6  theory Proof_Script
     1.7 -imports Base Main
     1.8 +  imports Main Base
     1.9  begin
    1.10  
    1.11  chapter \<open>Proof scripts\<close>