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 |