| Mon, 02 Nov 2009 09:01:18 +0100 | bulwahn | merged | changeset | files |
| Sat, 31 Oct 2009 10:02:37 +0100 | bulwahn | predicate compiler creates code equations for predicates with full mode | changeset | files |
| Fri, 30 Oct 2009 09:55:15 +0100 | bulwahn | renamed rpred to random | changeset | files |
| Sun, 01 Nov 2009 21:42:27 +0100 | wenzelm | Rules that characterize functional/relational specifications. | changeset | files |
| Sun, 01 Nov 2009 20:59:34 +0100 | wenzelm | adapted Item_Net; | changeset | files |
| Sun, 01 Nov 2009 20:55:39 +0100 | wenzelm | allow multi-index; | changeset | files |
| Sun, 01 Nov 2009 20:55:14 +0100 | wenzelm | added insert_safe, delete_safe variants; | changeset | files |
| Sun, 01 Nov 2009 16:23:31 +0100 | wenzelm | tuned signature; | changeset | files |
| Sun, 01 Nov 2009 15:44:26 +0100 | wenzelm | modernized structure Context_Rules; | changeset | files |
| Sun, 01 Nov 2009 15:24:45 +0100 | wenzelm | modernized structure Rule_Cases; | changeset | files |
| Fri, 30 Oct 2009 18:33:21 +0100 | haftmann | merged | changeset | files |
| Fri, 30 Oct 2009 18:33:07 +0100 | haftmann | dedicated theory for loading numeral simprocs | changeset | files |
| Fri, 30 Oct 2009 18:32:41 +0100 | haftmann | set Pure theory name properly | changeset | files |
| Fri, 30 Oct 2009 18:32:40 +0100 | haftmann | tuned code setup | changeset | files |
| Fri, 30 Oct 2009 14:52:14 +0100 | wenzelm | some notes on SPASS 3.0 distribution; | changeset | files |