| Mon, 10 Mar 2014 13:23:16 +0100 | traytel | unfold intermediate definitions after sealing the bnf | changeset | files |
| Sun, 09 Mar 2014 22:45:09 +0100 | haftmann | bootstrap fundamental Fun theory immediately after Set theory, without dependency on complete lattices | changeset | files |
| Sun, 09 Mar 2014 22:45:07 +0100 | haftmann | tuned; | changeset | files |