Cross Reference: X4.casl
xref
: /
hets
/
CASL
/
test
/
X4.casl
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
f92a9a33e08d620a0ac77dbcd22282c379047f59
Christian Maeder
sorts Nat < Int
f92a9a33e08d620a0ac77dbcd22282c379047f59
Christian Maeder
op 0 : Nat
f92a9a33e08d620a0ac77dbcd22282c379047f59
Christian Maeder
op __ - __ : Nat * Nat -> Int
f92a9a33e08d620a0ac77dbcd22282c379047f59
Christian Maeder
68b065341b3426cd3ecbdc31c0186090000ae4b6
Christian Maeder
sort s
f92a9a33e08d620a0ac77dbcd22282c379047f59
Christian Maeder
var a :s
f92a9a33e08d620a0ac77dbcd22282c379047f59
Christian Maeder
f92a9a33e08d620a0ac77dbcd22282c379047f59
Christian Maeder
forall a : Nat
f92a9a33e08d620a0ac77dbcd22282c379047f59
Christian Maeder
. def a - 0