equal
deleted
inserted
replaced
1 theory Let |
1 theory Let |
2 imports "../NewParser" |
2 imports "../Nominal2" |
3 begin |
3 begin |
4 |
4 |
5 text {* example 3 or example 5 from Terms.thy *} |
5 text {* example 3 or example 5 from Terms.thy *} |
6 |
6 |
7 atom_decl name |
7 atom_decl name |