equal
deleted
inserted
replaced
40 SeqContEmp :: "seqcont" ("") |
40 SeqContEmp :: "seqcont" ("") |
41 SeqContApp :: "[seqobj,seqcont] => seqcont" (",/ __") |
41 SeqContApp :: "[seqobj,seqcont] => seqcont" (",/ __") |
42 |
42 |
43 SeqO :: "o => seqobj" ("_") |
43 SeqO :: "o => seqobj" ("_") |
44 SeqId :: "'a => seqobj" ("$_") |
44 SeqId :: "'a => seqobj" ("$_") |
45 SeqVar :: "var => seqobj" ("$_") |
|
46 |
45 |
47 types |
46 types |
48 |
47 |
49 single_seqe = "[seq,seqobj] => prop" |
48 single_seqe = "[seq,seqobj] => prop" |
50 single_seqi = "[seq'=>seq',seq'=>seq'] => prop" |
49 single_seqi = "[seq'=>seq',seq'=>seq'] => prop" |