equal
deleted
inserted
replaced
1 theory Exercises |
1 theory Exercises |
2 imports Lexer "~~/src/HOL/Library/Infinite_Set" |
2 imports Spec "~~/src/HOL/Library/Infinite_Set" |
3 begin |
3 begin |
4 |
4 |
5 section {* Some Fun Facts *} |
5 section {* Some Fun Facts *} |
6 |
6 |
7 fun |
7 fun |