changeset 42150 | b0c0638c4aad |
parent 35416 | d8d7d1b785af |
child 42463 | f270e3e18be5 |
--- a/src/HOL/MicroJava/DFA/LBVSpec.thy Tue Mar 29 14:27:44 2011 +0200 +++ b/src/HOL/MicroJava/DFA/LBVSpec.thy Tue Mar 29 17:30:26 2011 +0200 @@ -1,4 +1,4 @@ -(* Title: HOL/MicroJava/BV/LBVSpec.thy +(* Title: HOL/MicroJava/DFA/LBVSpec.thy Author: Gerwin Klein Copyright 1999 Technische Universitaet Muenchen *)