| 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 |
| Sat, 03 Sep 2011 14:33:45 -0700 | huffman | merged | changeset | files |
| Sat, 03 Sep 2011 11:10:38 -0700 | huffman | remove unused assumption from lemma posreal_complete | changeset | files |
| Sat, 03 Sep 2011 23:59:36 +0200 | haftmann | tuned specifications | changeset | files |
| Sat, 03 Sep 2011 23:38:06 +0200 | haftmann | merged | changeset | files |
| Sat, 03 Sep 2011 17:56:33 +0200 | haftmann | tuned proof | changeset | files |
| Sat, 03 Sep 2011 17:32:45 +0200 | haftmann | merged | changeset | files |
| Sat, 03 Sep 2011 17:32:35 +0200 | haftmann | assert Pure equations for theorem references; avoid dynamic reference to fact | changeset | files |
| Sat, 03 Sep 2011 17:32:34 +0200 | haftmann | assert Pure equations for theorem references; tuned | changeset | files |
| Sat, 03 Sep 2011 17:32:34 +0200 | haftmann | tuned specifications and proofs | changeset | files |