IsaMakefile
2009-12-07 Christian Urban isabelle make tests all examples
2009-12-07 Christian Urban added "end" to each example theory
2009-12-07 Christian Urban directory re-arrangement
less more (0) tip