src/HOL/Library/Simps_Case_Conv.thy
changeset 53433 3b356b7f7cad
parent 53426 92db671e0ac6
child 56361 9f9f60f4dbbf
     1.1 --- a/src/HOL/Library/Simps_Case_Conv.thy	Fri Sep 06 12:00:58 2013 +0200
     1.2 +++ b/src/HOL/Library/Simps_Case_Conv.thy	Fri Sep 06 12:05:01 2013 +0200
     1.3 @@ -1,5 +1,5 @@
     1.4 -(*  Title:    HOL/Library/Simps_Case_Conv.thy
     1.5 -    Author:   Lars Noschinski
     1.6 +(*  Title:      HOL/Library/Simps_Case_Conv.thy
     1.7 +    Author:     Lars Noschinski
     1.8  *)
     1.9  
    1.10  theory Simps_Case_Conv