Attic/Quot/Examples/FSet3.thy
2010-04-22 Cezary Kaliszyk Moved working Fset3 properties to FSet.
2010-04-21 Cezary Kaliszyk minor
2010-04-21 Cezary Kaliszyk append_rsp2 + isarification
2010-04-21 Cezary Kaliszyk More about concat
2010-04-21 Cezary Kaliszyk Working lifting of concat with inline proofs of second level preservation.
2010-04-21 Cezary Kaliszyk FSet3 cleaning part2
2010-04-21 Cezary Kaliszyk Remove the part already in FSet and leave the experiments
less more (0) -7 tip