equal
deleted
inserted
replaced
6 *) |
6 *) |
7 |
7 |
8 SubUnion = Redex + |
8 SubUnion = Redex + |
9 |
9 |
10 consts |
10 consts |
11 Ssub,Scomp,Sreg :: "i" |
11 Ssub,Scomp,Sreg :: i |
12 "<==","~" :: "[i,i]=>o" (infixl 70) |
12 "<==","~" :: [i,i]=>o (infixl 70) |
13 un :: "[i,i]=>i" (infixl 70) |
13 un :: [i,i]=>i (infixl 70) |
14 regular :: "i=>o" |
14 regular :: i=>o |
15 |
15 |
16 translations |
16 translations |
17 "a<==b" == "<a,b>:Ssub" |
17 "a<==b" == "<a,b>:Ssub" |
18 "a ~ b" == "<a,b>:Scomp" |
18 "a ~ b" == "<a,b>:Scomp" |
19 "regular(a)" == "a:Sreg" |
19 "regular(a)" == "a:Sreg" |