src/HOL/Metis_Examples/Clausify.thy
changeset 42343 118cc349de35
parent 42342 6babd86a54a4
child 42345 5ecd55993606
     1.1 --- a/src/HOL/Metis_Examples/Clausify.thy	Thu Apr 14 11:24:05 2011 +0200
     1.2 +++ b/src/HOL/Metis_Examples/Clausify.thy	Thu Apr 14 11:24:05 2011 +0200
     1.3 @@ -1,10 +1,10 @@
     1.4 -(*  Title:      HOL/Metis_Examples/Clausifier.thy
     1.5 +(*  Title:      HOL/Metis_Examples/Clausify.thy
     1.6      Author:     Jasmin Blanchette, TU Muenchen
     1.7  
     1.8  Testing Metis's clausifier.
     1.9  *)
    1.10  
    1.11 -theory Clausifier
    1.12 +theory Clausify
    1.13  imports Complex_Main
    1.14  begin
    1.15