tuned whitespace;
authorwenzelm
Mon Jun 03 14:47:27 2019 +0200 (6 weeks ago)
changeset 7030753d21039518a
parent 70306 61621dc439d4
child 70308 7f568724d67e
tuned whitespace;
src/Pure/Isar/proof_context.ML
     1.1 --- a/src/Pure/Isar/proof_context.ML	Mon Jun 03 14:26:21 2019 +0200
     1.2 +++ b/src/Pure/Isar/proof_context.ML	Mon Jun 03 14:47:27 2019 +0200
     1.3 @@ -224,6 +224,7 @@
     1.4  val mode_abbrev    = make_mode (false, false, true);
     1.5  
     1.6  
     1.7 +
     1.8  (** Isar proof context information **)
     1.9  
    1.10  type cases = Rule_Cases.T Name_Space.table;