2010-10-29 | Christian Urban | disabled foobar_prove; updated to new Isabelle | file | diff | annotate |
2010-08-28 | Christian Urban | a bit closer to the new conventions of naming HOL-constants | file | diff | annotate |
2010-08-28 | Christian Urban | updated to new isabelle | file | diff | annotate |
2010-08-22 | Christian Urban | added something about Goal.prove_multi | file | diff | annotate |
2010-08-13 | Christian Urban | tuned | file | diff | annotate |
2010-08-13 | Christian Urban | added an example to be used for conversions later on | file | diff | annotate |
2010-08-13 | Christian Urban | updated to new isabelle | file | diff | annotate |
2010-07-28 | Christian Urban | merged | file | diff | annotate |