equal
deleted
inserted
replaced
1 theory Lambda_Example |
1 theory Lambda_Example |
2 imports "~~/src/HOL/Library/Code_Prolog" |
2 imports "HOL-Library.Code_Prolog" |
3 begin |
3 begin |
4 |
4 |
5 subsection \<open>Lambda\<close> |
5 subsection \<open>Lambda\<close> |
6 |
6 |
7 datatype type = |
7 datatype type = |