changeset 11085 | b830bf10bf71 |
parent 10650 | 114999ff8d19 |
11084:32c1deea5bcd | 11085:b830bf10bf71 |
---|---|
1 (* Title: HOL/BCV/DFA_err.thy |
1 (* Title: HOL/BCV/DFA_err.thy |
2 ID: $Id$ |
2 ID: $Id$ |
3 Author: Gerwin Klein |
3 Author: Gerwin Klein |
4 Copyright 2000 TUM |
4 Copyright 2000 TUM |
5 |
5 |
6 static and dynamic welltyping |
|
7 *) |
6 *) |
8 |
7 |
9 header "Static and Dynamic Welltyping" |
8 header "Static and Dynamic Welltyping" |
10 |
9 |
11 theory DFA_err = DFA_Framework: |
10 theory DFA_err = DFA_Framework: |