Attic/IsaMakefile
2010-03-16 Christian Urban merge and proof of support for non-recursive case
2010-02-25 Christian Urban moved Quot package to Attic (still compiles there with "isabelle make")
less more (0) tip