2011-07-05 | Christian Urban | changed bind to binds in specifications; bind will cause trouble with Monad_Syntax | file | diff | annotate |
2011-06-10 | Cezary Kaliszyk | Slightly modify fcb for list1 and put in common place. | file | diff | annotate |
2011-06-08 | Cezary Kaliszyk | Finished the proof with the invariant | file | diff | annotate |
2011-06-07 | Cezary Kaliszyk | Testing invariant in Lambda_F_T | file | diff | annotate |
2011-06-04 | Cezary Kaliszyk | Trying the induction on the graph | file | diff | annotate |
2011-06-03 | Cezary Kaliszyk | FiniteSupp precondition in the function is enough to get rid of completeness obligationss | file | diff | annotate |
2011-06-03 | Cezary Kaliszyk | F for lambda used to define translation to locally nameless | file | diff | annotate |