2012-04-03 griff 2012-04-03 renamed "rel_comp" to "relcomp" (to be consistent with, e.g., "relpow")
2012-04-03 kuncar 2012-04-03 new package Lifting - initial commit
2012-03-23 kuncar 2012-03-23 fix example files
2012-03-11 bulwahn 2012-03-11 renewing Executable_Relation
2012-02-02 bulwahn 2012-02-02 adding an example for a datatype refinement which would allow rtrancl to be executable on an infinite type