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