src/HOL/ROOT.ML
changeset 37694 19e8b730ddeb
parent 34205 f69cd974bc4e
     1.1 --- a/src/HOL/ROOT.ML	Fri Jul 02 14:23:17 2010 +0200
     1.2 +++ b/src/HOL/ROOT.ML	Fri Jul 02 14:23:17 2010 +0200
     1.3 @@ -1,3 +1,4 @@
     1.4 -(* Classical Higher-order Logic -- batteries included *)
     1.5 +
     1.6 +(* Classical Higher-order Logic *)
     1.7  
     1.8  use_thys ["Complex_Main"];