src/HOL/ex/Executable_Relation.thy
2012-10-12 wenzelm 2012-10-12 discontinued obsolete typedef (open) syntax;
2012-10-09 kuncar 2012-10-09 rename Set.project to Set.filter - more appropriate name
2012-05-08 bulwahn 2012-05-08 defining and proving Executable_Relation with lift_definition and transfer
2012-04-04 griff 2012-04-04 manual merge
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