2011-06-07 Cezary Kaliszyk Proof of trans with invariant
2011-06-07 Cezary Kaliszyk Testing invariant in Lambda_F_T
2011-06-07 Christian Urban cleaned ups a bit the examples with the invariant framework; exported nominal_function_config datatype into separate structure and file
2011-06-07 Christian Urban fixed problem with earlier commit about nominal_function_common; added facility for specifying an invariant - added a definition of frees_set which need a finiteness invariant
Loading...
(0) -1000 -300 -100 -30 -10 -4 +4 +10 +30 +100 +300 tip