src/HOL/Integ/NatBin.thy
2000-12-01 nipkow 2000-12-01 Linear arithmetic now copes with mixed nat/int formulae.
2000-08-03 paulson 2000-08-03 introduction of integer exponentiation
1999-07-19 paulson 1999-07-19 NatBin: binary arithmetic for the naturals