Start backport of specification from PhD thesis
- Add backport goal to Makefile to aid work - copy the main chapter as "spec.tex" - copy the rules appendix as "alethe_rules.tex" - Add LaTeX preable to spec.tex
spec/alethe_rules.tex
0 → 100644
This diff is collapsed.
spec/spec.tex
0 → 100644
This diff is collapsed.
Please register or sign in to comment