2010-04-22 | Cezary Kaliszyk | Moved working Fset3 properties to FSet. | file | diff | annotate |
2010-04-21 | Cezary Kaliszyk | minor | file | diff | annotate |
2010-04-21 | Cezary Kaliszyk | append_rsp2 + isarification | file | diff | annotate |
2010-04-21 | Cezary Kaliszyk | More about concat | file | diff | annotate |
2010-04-21 | Cezary Kaliszyk | Working lifting of concat with inline proofs of second level preservation. | file | diff | annotate |
2010-04-21 | Cezary Kaliszyk | FSet3 cleaning part2 | file | diff | annotate |
2010-04-21 | Cezary Kaliszyk | Remove the part already in FSet and leave the experiments | file | diff | annotate |
2010-04-19 | Cezary Kaliszyk | minor FSet3 edits. | file | diff | annotate |
2010-04-15 | Cezary Kaliszyk | Prove insert_rsp2 | file | diff | annotate |
2010-02-25 | Christian Urban | moved Quot package to Attic (still compiles there with "isabelle make") | file | diff | annotate | base |