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 |
2010-05-19 | Christian Urban | added comments about pottiers work | file | diff | annotate |
2010-05-17 | Christian Urban | somewhat simplified the main parsing function; failed to move a Note-statement to define_raw_perms | file | diff | annotate |
2010-05-11 | Christian Urban | a bit for the introduction of the q-paper | file | diff | annotate |
2010-05-04 | Cezary Kaliszyk | "isabelle make" compiles all examples with newparser/newfv/newalpha only. | file | diff | annotate |
2010-05-04 | Cezary Kaliszyk | Separate Term8, as it may work soon. | file | diff | annotate |
2010-04-08 | Christian Urban | tuned type-schemes example | file | diff | annotate |
2010-04-03 | Christian Urban | added README and moved examples into separate directory | file | diff | annotate | base |