| Sun, 17 Oct 2010 21:40:23 +0100 | Christian Urban | fixed typo | changeset | files |
| Sun, 17 Oct 2010 15:53:37 +0100 | Christian Urban | all tests work again | changeset | files |
| Sun, 17 Oct 2010 15:28:05 +0100 | Christian Urban | some tuning | changeset | files |
| Sun, 17 Oct 2010 13:35:52 +0100 | Christian Urban | naming scheme is now *_fset (not f*_) | changeset | files |
| Fri, 15 Oct 2010 23:45:54 +0100 | Christian Urban | more cleaning | changeset | files |
| Fri, 15 Oct 2010 17:37:44 +0100 | Christian Urban | further tuning | changeset | files |
| Fri, 15 Oct 2010 16:01:03 +0100 | Christian Urban | renamed fminus_raw to diff_list | changeset | files |
| Fri, 15 Oct 2010 15:58:48 +0100 | Christian Urban | renamed fcard_raw to card_list | changeset | files |
| Fri, 15 Oct 2010 15:56:16 +0100 | Christian Urban | slight update | changeset | files |
| Fri, 15 Oct 2010 15:47:20 +0100 | Christian Urban | Further reorganisation and cleaning | changeset | files |
| Fri, 15 Oct 2010 14:11:23 +0100 | Christian Urban | further cleaning | changeset | files |
| Fri, 15 Oct 2010 13:28:39 +0100 | Christian Urban | typo | changeset | files |
| Fri, 15 Oct 2010 16:32:34 +0900 | Cezary Kaliszyk | FSet: stronger fact in Isabelle. | changeset | files |
| Fri, 15 Oct 2010 16:23:26 +0900 | Cezary Kaliszyk | FSet synchronizing | changeset | files |
| Fri, 15 Oct 2010 15:52:40 +0900 | Cezary Kaliszyk | Synchronizing FSet further. | changeset | files |
| Fri, 15 Oct 2010 15:24:19 +0900 | Cezary Kaliszyk | Partially merging changes from Isabelle | changeset | files |