equal
deleted
inserted
replaced
10 RegExp2NA = NA + RegExp + |
10 RegExp2NA = NA + RegExp + |
11 |
11 |
12 types 'a bitsNA = ('a,bool list)na |
12 types 'a bitsNA = ('a,bool list)na |
13 |
13 |
14 syntax "##" :: 'a => 'a list set => 'a list set (infixr 65) |
14 syntax "##" :: 'a => 'a list set => 'a list set (infixr 65) |
15 translations "x ## S" == "op # x `` S" |
15 translations "x ## S" == "Cons x `` S" |
16 |
16 |
17 constdefs |
17 constdefs |
18 atom :: 'a => 'a bitsNA |
18 atom :: 'a => 'a bitsNA |
19 "atom a == ([True], |
19 "atom a == ([True], |
20 %b s. if s=[True] & b=a then {[False]} else {}, |
20 %b s. if s=[True] & b=a then {[False]} else {}, |