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