src/HOL/Coinduction.thy
changeset 58814 4c0ad4162cb7
parent 54555 e8c5e95d338b
child 58889 5b7a9633cfa8
     1.1 --- a/src/HOL/Coinduction.thy	Wed Oct 29 11:19:27 2014 +0100
     1.2 +++ b/src/HOL/Coinduction.thy	Wed Oct 29 11:33:29 2014 +0100
     1.3 @@ -14,6 +14,4 @@
     1.4  
     1.5  ML_file "Tools/coinduction.ML"
     1.6  
     1.7 -setup Coinduction.setup
     1.8 -
     1.9  end