Mon, 31 Jul 2006 18:07:42 +0200 | krauss | Function package can now do automatic splits of overlapping datatype patterns | changeset | files |
Mon, 31 Jul 2006 18:05:40 +0200 | krauss | Removed an "apply arith" where there are already "No Subgoals" | changeset | files |
Mon, 31 Jul 2006 15:29:36 +0200 | webertj | code reformatted | changeset | files |
Mon, 31 Jul 2006 14:08:42 +0200 | berghofe | Additional freshness constraints for FCB. | changeset | files |
Sun, 30 Jul 2006 21:28:59 +0200 | wenzelm | proper Element.generalize_facts; | changeset | files |
Sun, 30 Jul 2006 21:28:58 +0200 | wenzelm | add_consts: proper Sign.full_name; | changeset | files |