src/ZF/pair.thy
author paulson
Thu Aug 10 11:27:34 2000 +0200 (2000-08-10)
changeset 9570 e16e168984e1
parent 2469 b50b8c0eec01
child 11694 4c6e9d800628
permissions -rw-r--r--
installation of cancellation simprocs for the integers
     1 theory pair = upair
     2 files "simpdata":
     3 end
     4 
     5