2011-06-20 | Christian Urban | more polishing | file | diff | annotate |
2011-06-19 | Christian Urban | soem polishing | file | diff | annotate |
2011-06-17 | Christian Urban | a little polishing | file | diff | annotate |
2011-05-17 | Christian Urban | updated to new Isabelle | file | diff | annotate |
2011-02-23 | Christian Urban | updated to post-2011 Isabelle | file | diff | annotate |
2010-10-29 | griff | tracing_fn was moved to Output.Private_Hooks | file | diff | annotate |
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-13 | Christian Urban | added an example to be used for conversions later on | file | diff | annotate |
2010-07-28 | Christian Urban | test | file | diff | annotate | base |