| Thu, 23 Jul 2009 18:44:09 +0200 | wenzelm | renamed simpset_of to global_simpset_of, and local_simpset_of to simpset_of -- same for claset and clasimpset; | file | diff | annotate |
| Thu, 05 Mar 2009 08:23:11 +0100 | haftmann | set operations Int, Un, INTER, UNION, Inter, Union, empty, UNIV are now proper qualified constants with authentic syntax | file | diff | annotate |
| Sat, 15 Sep 2007 19:27:35 +0200 | haftmann | fixed title | file | diff | annotate |
| Wed, 04 Jul 2007 16:49:35 +0200 | wenzelm | export dlo_conv; | file | diff | annotate |
| Mon, 02 Jul 2007 10:43:20 +0200 | chaieb | Generic QE need no Context anymore | file | diff | annotate |
| Mon, 25 Jun 2007 00:36:35 +0200 | wenzelm | Thm.add_cterm_frees; | file | diff | annotate |
| Thu, 21 Jun 2007 20:48:48 +0200 | wenzelm | moved quantifier elimination tools to Tools/Qelim/; | file | diff | annotate |