| Sun, 04 Sep 2011 14:29:15 +0200 | wenzelm | pass raw messages through xml_cache actor, which is important to retain ordering of results (e.g. read_command reports before assign, cf. 383c9d758a56); | changeset | files |
| Sun, 04 Sep 2011 08:43:06 +0200 | haftmann | pseudo-definition for perms on sets; tuned | changeset | files |
| Sat, 03 Sep 2011 16:00:09 -0700 | huffman | remove duplicate lemma nat_zero in favor of nat_0 | changeset | files |
| Sat, 03 Sep 2011 15:37:41 -0700 | huffman | merged | changeset | files |
| Sat, 03 Sep 2011 15:09:51 -0700 | huffman | merged | changeset | files |
| Sat, 03 Sep 2011 14:52:40 -0700 | huffman | modify nominal packages to better respect set/pred distinction | changeset | files |