Cross Reference: ManySubsorts.het
xref
: /
hets
/
test
/
IsabelleCoding
/
ManySubsorts.het
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
library ManySubsorts
spec s = sorts s1, s2, s3, s4, s5, s6 < s