| author | wenzelm |
| Thu Sep 02 00:48:07 2010 +0200 (2010-09-02) | |
| changeset 38980 | af73cf0dc31f |
| parent 35762 | af3ff2ba4c54 |
| child 58889 | 5b7a9633cfa8 |
| permissions | -rw-r--r-- |
| wenzelm@17441 | 1 |
header {* Main includes everything *}
|
| paulson@10466 | 2 |
|
| wenzelm@17441 | 3 |
theory Main |
| wenzelm@17441 | 4 |
imports CTT Arith Bool |
| wenzelm@17441 | 5 |
begin |
| paulson@10466 | 6 |
end |