Mercurialisabelle / file revision
summary | shortlog | changelog | graph | tags | branches | files | changeset | file | revisions | annotate | diff | raw
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
isabelle