[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Use the same syntax for e.g. Nat
- Subject: Use the same syntax for e.g. Nat
- From: Chris Warburton
- Date: Fri, 01 Dec 2017 11:58:36 +0000
- Resolution: fixed
- State: resolved
The description of IsaScheme uses 0 and suc, whilst figure 1 uses Z and
S.