X4.casl revision f92a9a33e08d620a0ac77dbcd22282c379047f59
01aafb6a9520f05df5ff467b591ecb5474dcfc86Christian Maeder sorts Nat < Int
e6d40133bc9f858308654afb1262b8b483ec5922Till Mossakowski op __ - __ : Nat * Nat -> Int
01aafb6a9520f05df5ff467b591ecb5474dcfc86Christian Maederforall a : Nat