| Wed, 03 Aug 2005 14:48:42 +0200 | avigad | renamed exp_ge_add_one_self2 to exp_ge_add_one_self | file | diff | annotate |
| Sat, 30 Jul 2005 16:50:55 +0200 | nipkow | addedd ID line | file | diff | annotate |
| Fri, 29 Jul 2005 19:47:19 +0200 | avigad | added a new theory; properties of ln | file | diff | annotate |