| 2013-04-19 | Christian Urban |
updated to simplifier change | file | diff | annotate |
| 2012-12-31 | Christian Urban |
added readme and fixed output in Subgoal.FOCUS section | file | diff | annotate |
| 2012-12-01 | Christian Urban |
updated to new isabelle | file | diff | annotate |
| 2012-06-20 | Christian Urban | moved the introspection part into the theorem section | file | diff | annotate |
| 2012-06-19 | Christian Sternagel | proofread section 5.8 + spell-checked Parsing.thy | file | diff | annotate |
| 2012-06-18 | Christian Urban | updated | file | diff | annotate |
| 2012-06-18 | Christian Urban | polished | file | diff | annotate |
| 2012-06-18 | Christian Urban | improved new_command section | file | diff | annotate |