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 |