Viewing all changes in revision 427.
- Committer: Ohad Kammar
- Date: 2014-03-31 15:55:41 UTC
- Revision ID: ohad.kammar@cl.cam.ac.uk-20140331155541-a2uglxioznkca4dg
proofread the logical relations chapter
- files modified:
- diagrams/diagonal-lifting-lemma.mp
expand all
collapse all
added
removed
