2010-11-24 | Cezary Kaliszyk | foo2 full exhausts | file | diff | annotate |
2010-11-24 | Cezary Kaliszyk | Foo2 strong_exhaust for first variable. | file | diff | annotate |
2010-11-22 | Cezary Kaliszyk | single rename in let2 | file | diff | annotate |
2010-11-21 | Christian Urban | added example Foo2.thy | file | diff | annotate |