Sat, 09 Jun 2012 19:48:19 +0100 | Christian Urban | added a rule about inequality of freshness between atoms to the simplifier | changeset | files |
Wed, 06 Jun 2012 14:50:47 +0100 | Christian Urban | a simproc for simplifying Fresh when there is a sufficiently fresh atom | changeset | files |