author | paulson |
Fri, 30 Aug 2002 16:42:45 +0200 | |
changeset 13550 | 5a176b8dda84 |
parent 13337 | f75dfc606ac7 |
child 14030 | cd928c0ac225 |
permissions | -rw-r--r-- |
13550 | 1 |
set timing; |
13337
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"; |