equal
deleted
inserted
replaced
1 (* Author: Tobias Nipkow *) |
1 (* Author: Tobias Nipkow *) |
2 |
2 |
3 header "Abstract Interpretation (ITP)" |
3 section "Abstract Interpretation (ITP)" |
4 |
4 |
5 theory Complete_Lattice_ix |
5 theory Complete_Lattice_ix |
6 imports Main |
6 imports Main |
7 begin |
7 begin |
8 |
8 |