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