| changeset 41589 | bbd861837ebc |
| parent 35431 | 8758fe1fc9f8 |
| child 42463 | f270e3e18be5 |
| 41588:9546828c0eb3 | 41589:bbd861837ebc |
|---|---|
1 (* Title: HOL/NanoJava/AxSem.thy |
1 (* Title: HOL/NanoJava/AxSem.thy |
2 ID: $Id$ |
2 Author: David von Oheimb, Technische Universitaet Muenchen |
3 Author: David von Oheimb |
|
4 Copyright 2001 Technische Universitaet Muenchen |
|
5 *) |
3 *) |
6 |
4 |
7 header "Axiomatic Semantics" |
5 header "Axiomatic Semantics" |
8 |
6 |
9 theory AxSem imports State begin |
7 theory AxSem imports State begin |