author | paulson |
Fri, 11 Aug 2000 13:26:40 +0200 | |
changeset 9577 | 9e66e8ed8237 |
parent 9570 | e16e168984e1 |
child 11694 | 4c6e9d800628 |
permissions | -rw-r--r-- |
9570
e16e168984e1
installation of cancellation simprocs for the integers
paulson
parents:
2469
diff
changeset
|
1 |
theory pair = upair |
e16e168984e1
installation of cancellation simprocs for the integers
paulson
parents:
2469
diff
changeset
|
2 |
files "simpdata": |
e16e168984e1
installation of cancellation simprocs for the integers
paulson
parents:
2469
diff
changeset
|
3 |
end |
124 | 4 |
|
2469 | 5 |