Sat, 12 Nov 2011 13:01:56 +0100 | huffman | removed some old-style semicolons | file | diff | annotate |
Fri, 16 Sep 2011 12:10:43 +1000 | kleing | removed unused legacy lemma names, some comment cleanup. | file | diff | annotate |
Fri, 25 Feb 2011 14:25:41 +0100 | nipkow | added simp lemma nth_Cons_pos to List | 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 |