src/HOL/Mirabelle/Mirabelle.thy
changeset 32564 378528d2f7eb
parent 32496 4ab00a2642c3
child 39155 3e94ebe282f1
     1.1 --- a/src/HOL/Mirabelle/Mirabelle.thy	Fri Sep 11 09:53:02 2009 +0200
     1.2 +++ b/src/HOL/Mirabelle/Mirabelle.thy	Sat Sep 12 16:30:48 2009 +0200
     1.3 @@ -1,5 +1,5 @@
     1.4 -(* Title: Mirabelle.thy
     1.5 -   Author: Jasmin Blanchette and Sascha Boehme
     1.6 +(*  Title:      HOL/Mirabelle/Mirabelle.thy
     1.7 +    Author:     Jasmin Blanchette and Sascha Boehme, TU Munich
     1.8  *)
     1.9  
    1.10  theory Mirabelle