src/ZF/IntArith.thy
author wenzelm
Tue Jul 31 19:40:22 2007 +0200 (2007-07-31)
changeset 24091 109f19a13872
parent 23146 0bc590051d95
child 27237 c94eefffc3a5
permissions -rw-r--r--
added Tools/lin_arith.ML;
     1 
     2 theory IntArith imports Bin
     3 uses "int_arith.ML" begin
     4 
     5 end