| Mon, 10 Mar 2014 15:24:49 +0100 | traytel | copy-paste typo | changeset | files |
| Mon, 10 Mar 2014 14:46:22 +0100 | traytel | tuned tactic | changeset | files |
| 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 |
| Sun, 09 Mar 2014 22:27:04 +0100 | traytel | more careful unfolding of internal constants | changeset | files |
| Sun, 09 Mar 2014 21:40:41 +0100 | traytel | made typedef for the type of the bound optional (size-based) | changeset | files |