author | paulson |
Thu, 10 Aug 2000 11:27:34 +0200 | |
changeset 9570 | e16e168984e1 |
parent 2469 | b50b8c0eec01 |
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 |