| Thu, 10 May 2007 02:51:53 +0200 | huffman | new axclass ring_char_0 for rings with characteristic 0, used for of_int_eq_iff and related lemmas | file | diff | annotate |
| Sun, 06 May 2007 21:50:17 +0200 | haftmann | changed code generator invocation syntax | file | diff | annotate |