| Fri, 23 Sep 2005 00:52:13 +0200 | obua | add debug messages | changeset | files |
| Fri, 23 Sep 2005 00:11:10 +0200 | nipkow | renamed rules to iprover | changeset | files |
| Fri, 23 Sep 2005 00:10:58 +0200 | nipkow | *** empty log message *** | changeset | files |
| Thu, 22 Sep 2005 23:56:15 +0200 | nipkow | renamed rules to iprover | changeset | files |
| Thu, 22 Sep 2005 23:55:42 +0200 | nipkow | fix because of list lemmas | changeset | files |
| Thu, 22 Sep 2005 23:43:55 +0200 | nipkow | renamed "rules" to "iprover" | changeset | files |
| Thu, 22 Sep 2005 19:06:34 +0200 | huffman | added theorem adm_ball | changeset | files |