Viewing all changes in revision 384.
- Committer: Ohad Kammar
- Date: 2013-07-01 16:51:08 UTC
- Revision ID: ok259@cl.cam.ac.uk-20130701165108-x8w0dmjtqe2ppckz
added struture desc to lawvere theories chapter.
- files modified:
- lawvere-operations.tex
expand all
collapse all
added
removed
