Index of /propositional-classes/_darcs/prefs

	Name	Last modified	Size	Description
	Parent Directory		-
	boring	2011-09-26 16:20	2.0K
	binaries	2011-09-26 16:20	703
	motd	2011-09-26 16:20	0