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