2011-06-22 | Cezary Kaliszyk | constants with the same names | file | diff | annotate |
2011-06-21 | Cezary Kaliszyk | Quotients/TODO addtion | file | diff | annotate |
2011-06-19 | Cezary Kaliszyk | Update Quotient/TODO and remove some attic code | file | diff | annotate |
2010-04-23 | Cezary Kaliszyk | Minor | file | diff | annotate |
2010-02-26 | Cezary Kaliszyk | Update TODO | file | diff | annotate |
2010-02-25 | Christian Urban | moved Quot package to Attic (still compiles there with "isabelle make") | file | diff | annotate | base |