equal
deleted
inserted
replaced
12 keywords |
12 keywords |
13 "nitpick" :: diag and |
13 "nitpick" :: diag and |
14 "nitpick_params" :: thy_decl |
14 "nitpick_params" :: thy_decl |
15 begin |
15 begin |
16 |
16 |
17 datatype (plugins only:) (dead 'a, dead 'b) fun_box = FunBox "'a \<Rightarrow> 'b" |
17 datatype (plugins only: extraction) (dead 'a, dead 'b) fun_box = FunBox "'a \<Rightarrow> 'b" |
18 datatype (plugins only:) (dead 'a, dead 'b) pair_box = PairBox 'a 'b |
18 datatype (plugins only: extraction) (dead 'a, dead 'b) pair_box = PairBox 'a 'b |
19 datatype (plugins only:) (dead 'a) word = Word "'a set" |
19 datatype (plugins only: extraction) (dead 'a) word = Word "'a set" |
20 |
20 |
21 typedecl bisim_iterator |
21 typedecl bisim_iterator |
22 typedecl unsigned_bit |
22 typedecl unsigned_bit |
23 typedecl signed_bit |
23 typedecl signed_bit |
24 |
24 |