| Sun, 20 Nov 2011 20:59:30 +0100 | wenzelm | eliminated obsolete "standard"; | file | diff | annotate |
| Thu, 17 Nov 2011 12:29:48 +0100 | huffman | HOL-Word: add simp rules for bin_rest, bin_last; shorten several proofs | file | diff | annotate |
| Wed, 16 Nov 2011 13:58:31 +0100 | huffman | remove redundant lemmas bin_last_mod and bin_rest_div, use bin_last_def and bin_rest_def instead | file | diff | annotate |
| Fri, 16 Sep 2011 12:10:43 +1000 | kleing | removed unused legacy lemma names, some comment cleanup. | file | diff | annotate |
| Mon, 12 Sep 2011 07:55:43 +0200 | nipkow | new fastforce replacing fastsimp - less confusing name | file | diff | annotate |
| Wed, 29 Dec 2010 17:34:41 +0100 | wenzelm | explicit file specifications -- avoid secondary load path; | file | diff | annotate |
| Thu, 01 Jul 2010 13:32:14 +0200 | haftmann | avoid bitstrings in generated code | file | diff | annotate |
| Wed, 30 Jun 2010 16:45:47 +0200 | haftmann | more speaking names | file | diff | annotate | base |