src/HOL/Statespace/StateSpaceSyntax.thy
changeset 38838 62f6ba39b3d4
parent 35114 b1fd1d756e20
child 41959 b460124855b8
     1.1 --- a/src/HOL/Statespace/StateSpaceSyntax.thy	Fri Aug 27 22:09:51 2010 +0200
     1.2 +++ b/src/HOL/Statespace/StateSpaceSyntax.thy	Fri Aug 27 22:30:25 2010 +0200
     1.3 @@ -5,7 +5,6 @@
     1.4  header {* Syntax for State Space Lookup and Update \label{sec:StateSpaceSyntax}*}
     1.5  theory StateSpaceSyntax
     1.6  imports StateSpaceLocale
     1.7 -
     1.8  begin
     1.9  
    1.10  text {* The state space syntax is kept in an extra theory so that you