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 |
Thu, 12 Jun 2008 22:29:49 +0200 | wenzelm | tuned setup; | changeset | files |
Thu, 12 Jun 2008 22:14:07 +0200 | huffman | remove unnecessary import of Ffun; | changeset | files |
Thu, 12 Jun 2008 22:12:27 +0200 | huffman | imports Ffun | changeset | files |