Name Last modified Size DescriptionApache/2.4.61 (Debian) Server at matita.cs.unibo.it Port 80
Parent Directory - sums.ma 2010-03-29 23:38 1.3K pairs.ma 2010-03-29 23:38 1.5K pairs-setoids.ma 2011-04-13 11:15 2.2K list.ma 2011-04-13 11:15 15K list-theory.ma 2011-04-13 11:15 9.0K list-setoids.ma 2011-04-13 11:15 3.6K bool.ma 2011-04-13 11:15 1.2K bool-setoids.ma 2011-04-13 11:15 1.9K