src/Pure/Isar/proof_context.ML
changeset 15725 95c33d627cdd
parent 15703 727ef1b8b3ee
child 15735 953f188e16c6
equal deleted inserted replaced
15724:1b89c781a7ec 15725:95c33d627cdd
  1546 (** theory setup **)
  1546 (** theory setup **)
  1547 
  1547 
  1548 val setup = [ProofDataData.init];
  1548 val setup = [ProofDataData.init];
  1549 
  1549 
  1550 end;
  1550 end;
       
  1551