| Sun, 11 Sep 2011 14:42:15 +0200 | wenzelm | some updates of PLATFORMS; | changeset | files |
| Sun, 11 Sep 2011 13:27:22 +0200 | wenzelm | more README; | changeset | files |
| Sat, 10 Sep 2011 23:28:58 +0200 | wenzelm | merged | changeset | files |
| Sat, 10 Sep 2011 22:43:17 +0200 | krauss | mem_prs and mem_rsp in accordance with sets-as-predicates representation (backported from AFP/Coinductive) | changeset | files |
| Sat, 10 Sep 2011 23:27:32 +0200 | wenzelm | misc tuning; | changeset | files |
| Sat, 10 Sep 2011 22:11:55 +0200 | wenzelm | misc tuning and clarification; | changeset | files |
| Sat, 10 Sep 2011 21:47:55 +0200 | wenzelm | speed up slow proof; | changeset | files |