src/Doc/Tutorial/CTL/Base.thy
changeset 58860 fee7cfa69c50
parent 58620 7435b6a3f72e
child 67406 23307fd33906
     1.1 --- a/src/Doc/Tutorial/CTL/Base.thy	Sat Nov 01 11:40:55 2014 +0100
     1.2 +++ b/src/Doc/Tutorial/CTL/Base.thy	Sat Nov 01 14:20:38 2014 +0100
     1.3 @@ -69,7 +69,7 @@
     1.4  transition system, i.e.\ a relation between states:
     1.5  *}
     1.6  
     1.7 -consts M :: "(state \<times> state)set";
     1.8 +consts M :: "(state \<times> state)set"
     1.9  
    1.10  text{*\noindent
    1.11  This is Isabelle's way of declaring a constant without defining it.