src/HOL/Tools/inductive_package.ML
changeset 15705 b5edb9dcec9a
parent 15703 727ef1b8b3ee
child 15794 5de27a5fc5ed
     1.1 --- a/src/HOL/Tools/inductive_package.ML	Wed Apr 13 18:45:09 2005 +0200
     1.2 +++ b/src/HOL/Tools/inductive_package.ML	Wed Apr 13 18:45:25 2005 +0200
     1.3 @@ -916,3 +916,4 @@
     1.4  end;
     1.5  
     1.6  end;
     1.7 +