2010-09-10 | Christian Urban | tuned (to conform with indentation policy of Markus) | file | diff | annotate |
2010-08-25 | Christian Urban | can now deal with type variables in nominal datatype definitions | file | diff | annotate |
2010-08-16 | Christian Urban | modified the code for class instantiations (with help from Florian) | file | diff | annotate |
2010-08-14 | Christian Urban | improved code | file | diff | annotate |
2010-08-12 | Christian Urban | updated to Isabelle 12th Aug | file | diff | annotate |
2010-05-23 | Christian Urban | started to work on alpha | file | diff | annotate |
2010-05-21 | Christian Urban | tuned | file | diff | annotate |
2010-05-20 | Christian Urban | new fv/fv_bn function (supp breaks now); exported raw perms and raw funs into separate ML-files | file | diff | annotate |