Slides/Slides1.thy
2011-03-29 Christian Urban rearranged directories and updated to new Isabelle
2011-03-08 Christian Urban more on the pearl paper
2010-07-09 Christian Urban finished alpha-section
2010-06-09 Christian Urban transitivity proofs done
2010-06-07 Christian Urban work on transitivity proof
2010-06-03 Christian Urban fixed problem with eqvt proofs
2010-05-31 Christian Urban all raw definitions are defined using function
2010-05-27 Christian Urban intermediate state
2010-05-26 Christian Urban added FSet to the correct paper
2010-05-24 Christian Urban added slides
less more (0) tip