Compile with -annot
Ignore backup files
Remove dead code
Define type alias "rules" in term.ml
Prettier maude.mli
Fix indentation
Remove unneeded "let rec"s
Prettier types in term.mli
Simplification
Add tamarin.mli
Add theory.mli
Add horn.mli
Add process.mli
Flush stdout/stderr after arguments/stdin parsing
More accurate messages
Remove duplicate message
Use maude and full-maude.maude from $PATH