| Sat, 12 Dec 2009 14:57:34 +0100 | Cezary Kaliszyk | Answering the question in code. | file | diff | annotate |
| Sat, 12 Dec 2009 02:01:33 +0100 | Christian Urban | tuned code | file | diff | annotate |
| Sat, 12 Dec 2009 01:44:56 +0100 | Christian Urban | renamed quotient.ML to quotient_typ.ML | file | diff | annotate |
| Fri, 11 Dec 2009 17:22:26 +0100 | Cezary Kaliszyk | Merge + Added LarryInt & Fset3 to tests. | file | diff | annotate |
| Fri, 11 Dec 2009 17:19:38 +0100 | Cezary Kaliszyk | Renaming | file | diff | annotate |
| Fri, 11 Dec 2009 17:03:34 +0100 | Christian Urban | deleted struct_match by Pattern.match (fixes a problem in LarryInt) | file | diff | annotate |