changeset 24825 | c4f13ab78f9d |
parent 23894 | 1a4167d761ac |
child 26342 | 0f65fa163304 |
--- a/src/CCL/Type.thy Wed Oct 03 19:49:33 2007 +0200 +++ b/src/CCL/Type.thy Wed Oct 03 21:29:05 2007 +0200 @@ -15,7 +15,7 @@ Subtype :: "['a set, 'a => o] => 'a set" Bool :: "i set" Unit :: "i set" - "+" :: "[i set, i set] => i set" (infixr 55) + Plus :: "[i set, i set] => i set" (infixr "+" 55) Pi :: "[i set, i => i set] => i set" Sigma :: "[i set, i => i set] => i set" Nat :: "i set"