no more smt
simplified
simplified
simplified
tuned
tuned
fixed broken proof
tuned
tuned
tuned startup script
tuned
refactoring for AFP
no thm of facts created by induction
tuned
document builds

added: Comment.sty   version 3.6, October 1999
bug: http://fa.isabelle.narkive.com/wiF50umk/isabelle-unable-to-get-document-preparation-system-to-work
fixed startup script

do not use skip_proofs when building pdf
fixing latex errors
IT BUILDS

the document builds
tuned
tuned