Sun, 30 Jul 2006 05:53:10 +0200 | webertj | lin_arith_prover splits certain operators (e.g. min, max, abs) | file | diff | annotate |
Fri, 02 Jun 2006 23:22:29 +0200 | wenzelm | misc cleanup; | file | diff | annotate |
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 |