src/HOL/Library/State_Monad.thy
changeset 29799 7c7f759c438e
parent 28145 af3923ed4786
child 30738 0842e906300c
     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