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 |