nipkow [Mon, 20 Aug 2007 11:18:07 +0200] rev 24335
removed allpairs - use list comprehension!
kleing [Mon, 20 Aug 2007 04:44:35 +0200] rev 24334
added header
kleing [Mon, 20 Aug 2007 04:34:31 +0200] rev 24333
* HOL-Word:
New extensive library and type for generic, fixed size machine
words, with arithemtic, bit-wise, shifting and rotating operations,
reflection into int, nat, and bool lists, automation for linear
arithmetic (by automatic reflection into nat or int), including
lemmas on overflow and monotonicity. Instantiated to all appropriate
arithmetic type classes, supporting automatic simplification of
numerals on all operations. Jointly developed by NICTA, Galois, and
PSU.
* still to do: README.html/document + moving some of the generic lemmas
to appropriate place in distribution