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
2010-04-19 Cezary Kaliszyk minor FSet3 edits.
2010-04-15 Cezary Kaliszyk Prove insert_rsp2
2010-02-25 Christian Urban moved Quot package to Attic (still compiles there with "isabelle make")
less more (0) tip