Commit Graph

3 Commits

Author SHA1 Message Date
a798462498 Had to get these files back using checkout and the sha1 codes of
previous commits
2011-11-11 19:02:18 +00:00
a702c40d67 put proof for comparison equations in
PLT
2011-11-11 18:35:43 +00:00
7f7e2b4329 OK, got the example from the
presentation given at Birmingham
22SEP2011.
2011-10-03 21:20:42 +01:00