| Sun, 29 Nov 2009 17:47:37 +0100 | Christian Urban | started functions for qid-insertion and fixed a bug in regularise | file | diff | annotate |
| Sun, 29 Nov 2009 09:38:07 +0100 | Cezary Kaliszyk | Removed unnecessary HOL_ss which proved one of the subgoals. | file | diff | annotate |