changeset 42150 | b0c0638c4aad |
parent 35416 | d8d7d1b785af |
child 58886 | 8a6cac7c7247 |
42149:7e6f4ca198bb | 42150:b0c0638c4aad |
---|---|
1 (* Title: HOL/MicroJava/BV/SemilatAlg.thy |
1 (* Title: HOL/MicroJava/DFA/SemilatAlg.thy |
2 Author: Gerwin Klein |
2 Author: Gerwin Klein |
3 Copyright 2002 Technische Universitaet Muenchen |
3 Copyright 2002 Technische Universitaet Muenchen |
4 *) |
4 *) |
5 |
5 |
6 header {* \isaheader{More on Semilattices} *} |
6 header {* \isaheader{More on Semilattices} *} |