2010-03-18 | Christian Urban | simplified strong induction proof by using flip | file | diff | annotate |
2010-03-08 | Christian Urban | updated to new Isabelle | file | diff | annotate |
2010-02-25 | Christian Urban | moved Nominal to "toplevel" | file | diff | annotate | base |