← Back to branch summary

~ohad-kammar/ohads-thesis/trunk

~ohad-kammar/ohads-thesis/trunk

Viewing all changes in revision 413.

Committer: Ohad Kammar
Date: 2013-07-02 05:01:49 UTC
Revision ID: ok259@cl.cam.ac.uk-20130702050149-q7lfb82qhfz2uqsa

starting to finalise

files modified:
completeness.tex

defs-syntax.tex

example-validation.tex

model-generation.tex

modeling.lhs

operationwise.tex

restrictions-and-universal-algebra.tex

sum-and-tensor.tex

thesis-ohad.tex

validity.tex

Show diffs side-by-side

added added

removed removed

completeness.tex

defs-syntax.tex

example-validation.tex

model-generation.tex

operationwise.tex

restrictions-and-universal-algebra.tex

sum-and-tensor.tex

thesis-ohad.tex

Older »