My diploma thesis — Integrating Maude into Hets
Switch branches/tags
Nothing to show
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
.gitignore
.hgignore
Bool.maude
Clock-after.pdf
Clock-before.pdf
Clock.het
Clock.maude
NatList.maude
NatList.typescript
README
RevElt-after.pdf
RevElt-before.pdf
RevElt-prove.pdf
RevElt-spass.pdf
RevIdem.het
RevIdemElt.het
RewriteClock.het
SPO_PO.het
SPO_PO.maude
SPO_PO_Maude.het
SPO_after.pdf
SPO_before.pdf
SPO_prove.pdf
SPO_spass.pdf
hetcasl.sty
logic-class-hierarchy.dot
logo-fb3.png
logo-uni.png
maude.bib
maude.tex
mkfile
pp.sam
prelude-all.pdf
prelude-part.pdf

README

My diploma thesis, ``Integrating Maude into Hets''.

To build the PDF, I used:
* Hets, at least version 0.95, to pretty-print `.het` files
* Maude, possibly
* Plan9 from User Space, specifically
  + mk to script the build
  + sam to "fix" pretty-printed specifications with logic Maude
* LaTeX and BibTeX, obviously

I used XeTeX and the TeX Gyre fonts.