https://cflmark.nms.kcl.ac.uk/hg/nominal2/ en-us nominal2: Attic/IsaMakefile history Attic/IsaMakefile revision history merge and proof of support for non-recursive case https://cflmark.nms.kcl.ac.uk/hg/nominal2/log/0fd03936dedb/Attic/IsaMakefile Christian Urban <urbanc@in.tum.de> Tue, 16 Mar 2010 18:02:08 +0100 moved Quot package to Attic (still compiles there with "isabelle make") https://cflmark.nms.kcl.ac.uk/hg/nominal2/log/9df6144e281b/Attic/IsaMakefile Christian Urban <urbanc@in.tum.de> Thu, 25 Feb 2010 07:57:17 +0100