equal
deleted
inserted
replaced
2 Author: Tobias Nipkow, Cambridge University Computer Laboratory |
2 Author: Tobias Nipkow, Cambridge University Computer Laboratory |
3 Author: Andrei Popescu, TU Muenchen |
3 Author: Andrei Popescu, TU Muenchen |
4 Copyright 1994, 2012 |
4 Copyright 1994, 2012 |
5 *) |
5 *) |
6 |
6 |
7 header {* Notions about functions *} |
7 section {* Notions about functions *} |
8 |
8 |
9 theory Fun |
9 theory Fun |
10 imports Set |
10 imports Set |
11 keywords "functor" :: thy_goal |
11 keywords "functor" :: thy_goal |
12 begin |
12 begin |