| changeset 49123 | 263b0e330d8b |
| parent 49112 | 4de4635d8f93 |
| child 49283 | 97809ae5f7bb |
| 49122:83515378d4d7 | 49123:263b0e330d8b |
|---|---|
14 keywords |
14 keywords |
15 "data" :: thy_decl |
15 "data" :: thy_decl |
16 and |
16 and |
17 "codata" :: thy_decl |
17 "codata" :: thy_decl |
18 uses |
18 uses |
19 "Tools/bnf_fp_sugar_tactics.ML" |
|
19 "Tools/bnf_fp_sugar.ML" |
20 "Tools/bnf_fp_sugar.ML" |
20 begin |
21 begin |
21 |
22 |
22 end |
23 end |