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