Cross Reference: /hets/HasCASL/test/NAdd.hascasl

Cross Reference: NAdd.hascasl

xref: /hets/HasCASL/test/NAdd.hascasl

Home
History
Annotate
Line#
Navigate
Download
only in ./

type Nat %% ::= 0 | suc (pre :? Nat)

type Nadd < Nat -> Nat

type Nat < Nadd

Indexes created Tue Jul 24 14:28:13 CEST 2018