2010-12-22 | Christian Urban | tuned examples | file | diff | annotate |
2010-12-22 | Christian Urban | properly exported strong exhaust theorem; cleaned up some examples | file | diff | annotate |
2010-11-15 | Christian Urban | proved that bn functions return a finite set | file | diff | annotate |
2010-11-07 | Christian Urban | fixed locally the problem with the function package; all tests work again | file | diff | annotate |
2010-11-06 | Christian Urban | added a test about subtyping; disabled two tests, because of problem with function package | file | diff | annotate |
2010-08-29 | Christian Urban | renamed NewParser to Nominal2 | file | diff | annotate |
2010-08-26 | Christian Urban | "isabelle make test" makes all major examples....they work up to supp theorems (excluding) | file | diff | annotate |
2010-08-25 | Christian Urban | cleaned up (almost completely) the examples | file | diff | annotate |