src/HOL/Statespace/StateSpaceEx.thy
changeset 29248 f1f1bccf2fc5
parent 29247 95d3a82857e5
child 29509 1ff0f3f08a7b
     1.1 --- a/src/HOL/Statespace/StateSpaceEx.thy	Thu Dec 18 11:16:48 2008 +0100
     1.2 +++ b/src/HOL/Statespace/StateSpaceEx.thy	Fri Dec 19 15:05:37 2008 +0100
     1.3 @@ -202,8 +202,10 @@
     1.4  
     1.5  text {* Hmm, I hoped this would work now...*}
     1.6  
     1.7 +(*
     1.8  locale fooX = foo +
     1.9   assumes "s<a:=i>\<cdot>b = k"
    1.10 +*)
    1.11  
    1.12  (* ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ *)
    1.13  text {* There are known problems with syntax-declarations. They currently