wenzelm [Thu, 09 Jul 2009 22:01:41 +0200] rev 31972
renamed functor TableFun to Table, and GraphFun to Graph;
wenzelm [Thu, 09 Jul 2009 22:02:24 +0200] rev 31971
recovered some proofs broken in 0314441a53a6;
krauss [Thu, 09 Jul 2009 17:34:59 +0200] rev 31970
move rel_pow_commute: "R O R ^^ n = R ^^ n O R" to Transitive_Closure
krauss [Thu, 09 Jul 2009 17:33:22 +0200] rev 31969
drop unused lemmas
chaieb [Thu, 09 Jul 2009 10:34:51 +0200] rev 31968
FPS form a metric space, which justifies the infinte sum notation
chaieb [Thu, 09 Jul 2009 08:55:42 +0200] rev 31967
merged
chaieb [Sun, 05 Jul 2009 21:10:23 +0200] rev 31966
merged
chaieb [Sat, 04 Jul 2009 15:19:47 +0200] rev 31965
merged
chaieb [Sat, 04 Jul 2009 15:19:29 +0200] rev 31964
merged
chaieb [Thu, 02 Jul 2009 13:48:39 +0200] rev 31963
Gettring rid of sorts hyps