thys2/Translation2.thy
2013-07-17 Christian Urban added slides
2013-06-06 Christian Urban added theorey by Jian
less more (0) tip