Fri, 13 Jun 2008 21:04:07 +0200 | wenzelm | * Recovered hiding of consts; | changeset | files |
Fri, 13 Jun 2008 20:57:51 +0200 | wenzelm | updated generated file; | changeset | files |
Fri, 13 Jun 2008 20:57:26 +0200 | wenzelm | back to CodeTarget.code_width; | changeset | files |
Fri, 13 Jun 2008 15:22:07 +0200 | nipkow | hide -> hide (open) | changeset | files |
Thu, 12 Jun 2008 23:12:54 +0200 | wenzelm | use regular error function; | changeset | files |
Thu, 12 Jun 2008 22:41:03 +0200 | huffman | add lemma finite_image_approx; remove unnecessary sort annotations | changeset | files |
Thu, 12 Jun 2008 22:30:00 +0200 | huffman | change orientation of fix_eqI and convert to rule_format; | changeset | files |