author | schirmer |
Wed, 10 Jul 2002 15:07:02 +0200 | |
changeset 13337 | f75dfc606ac7 |
parent 12962 | a24ffe84a06a |
child 13550 | 5a176b8dda84 |
permissions | -rw-r--r-- |
13337
f75dfc606ac7
Added unary and binary operations like (+,-,<, ...); Added smallstep semantics (no proofs about it yet).
schirmer
parents:
12962
diff
changeset
|
1 |
|
f75dfc606ac7
Added unary and binary operations like (+,-,<, ...); Added smallstep semantics (no proofs about it yet).
schirmer
parents:
12962
diff
changeset
|
2 |
update_thy "AxExample"; |
f75dfc606ac7
Added unary and binary operations like (+,-,<, ...); Added smallstep semantics (no proofs about it yet).
schirmer
parents:
12962
diff
changeset
|
3 |
update_thy "AxSound"; |
f75dfc606ac7
Added unary and binary operations like (+,-,<, ...); Added smallstep semantics (no proofs about it yet).
schirmer
parents:
12962
diff
changeset
|
4 |
update_thy "AxCompl"; |
f75dfc606ac7
Added unary and binary operations like (+,-,<, ...); Added smallstep semantics (no proofs about it yet).
schirmer
parents:
12962
diff
changeset
|
5 |
update_thy "Trans"; |