Paper/Paper.thy
2010-03-17 Christian Urban slightly more of the paper
2010-03-17 Christian Urban paper uses now a heap file - does not compile so long anymore
2010-03-17 Christian Urban temporarily disabled tests in Nominal/ROOT
2010-03-17 Christian Urban made paper to compile
2010-03-17 Christian Urban added partial proof of supp for type schemes
2009-12-16 Christian Urban added a paper for possible notes
less more (0) tip