IsaMakefile
2013-02-10 Christian Urban changed theory names to uppercase
2013-01-23 Christian Urban updated
2013-01-18 Christian Urban updated to ITP and updated directories
2012-12-26 Christian Urban updated
less more (0) -4 tip