dropped Id
authorhaftmann
Wed Feb 04 10:59:32 2009 +0100 (2009-02-04)
changeset 297997c7f759c438e
parent 29798 6df726203e39
child 29801 67266b31cd46
dropped Id
src/HOL/Library/State_Monad.thy
     1.1 --- a/src/HOL/Library/State_Monad.thy	Wed Feb 04 10:59:31 2009 +0100
     1.2 +++ b/src/HOL/Library/State_Monad.thy	Wed Feb 04 10:59:32 2009 +0100
     1.3 @@ -1,5 +1,4 @@
     1.4  (*  Title:      HOL/Library/State_Monad.thy
     1.5 -    ID:         $Id$
     1.6      Author:     Florian Haftmann, TU Muenchen
     1.7  *)
     1.8