Searched defs:Nat (Results 1 - 1 of 1) sorted by relevance
| /hets/CASL/doc/ | ||
| H A D | simplifySenTest.tex | 24 \section*{Numbers.Nat} 26 sorts Nat, Pos 27 sorts Pos < Nat 28 op 0 : Nat 29 op 1 : Nat 31 op 2 : Nat 32 op 3 : Nat 33 op 4 : Nat 34 op 5 : Nat 35 op 6 : Nat [all...] |
Completed in 9 milliseconds