Nominal/FSet.thy
2010-07-22 Christian Urban updated to new Isabelle; made FSet more "quiet"
2010-07-19 Christian Urban minor
2010-07-18 Christian Urban minor things on the paper
2010-07-18 Christian Urban some test with quotient
2010-06-23 Christian Urban merged cezary's changes
2010-06-23 Cezary Kaliszyk merge
2010-06-23 Cezary Kaliszyk Changes for PER and list_all2 committed to Isabelle
2010-06-22 Christian Urban cleaned up the FSet (noise was introduced by error)
2010-06-20 Christian Urban eliminated a quot_thm flag
2010-06-16 Christian Urban conclusion done
2010-06-15 Cezary Kaliszyk Qpaper / Clarify the typing system and composition of quotients issue.
2010-06-14 Cezary Kaliszyk merge
2010-06-14 Cezary Kaliszyk qpaper/unfold the ball_reg_right statement
2010-06-14 Christian Urban some tuning and start work on section 4
2010-06-14 Christian Urban completed proof and started section about respectfulness and preservation
2010-06-13 Christian Urban something about the quotient ype definitions
2010-06-11 Christian Urban more on the qpaper
2010-05-27 Cezary Kaliszyk qpaper / a bit about prs
2010-05-26 Cezary Kaliszyk qpaper
2010-05-26 Cezary Kaliszyk Name some respectfullness
2010-05-10 Cezary Kaliszyk Synchronize FSet with repository
2010-04-26 Cezary Kaliszyk merge ???
2010-04-21 Cezary Kaliszyk infix for In
2010-04-23 Cezary Kaliszyk Further cleaning of proofs in FSet
2010-04-22 Cezary Kaliszyk Converted 'thm' to a lemma.
2010-04-22 Cezary Kaliszyk Moved working Fset3 properties to FSet.
2010-04-21 Cezary Kaliszyk append_rsp2 + isarification
2010-04-21 Christian Urban merged
2010-04-21 Christian Urban removed a sorry
2010-04-21 Cezary Kaliszyk Reorder FSet
less more (0) -50 -30 tip