| 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 |
| Thu, 12 Jun 2008 22:29:51 +0200 | wenzelm | export just one setup function; | changeset | files |
| Thu, 12 Jun 2008 22:29:50 +0200 | wenzelm | removed obsolete skolem declarations -- done by Theory.at_end; | changeset | files |