Index of /alumni/bringert/darcs/mosg

	Name	Last modified	Size	Description
	Parent Directory		-
	ui.js	13-Nov-2009 18:30	386
	test.hs	13-Nov-2009 18:30	741
	syllogisms2fracas.hs	13-Nov-2009 18:30	1.1K
	syllogisms.xml	13-Nov-2009 18:30	4.4K
	style.css	13-Nov-2009 18:30	734
	report/	13-Nov-2009 18:30	-
	mosg.cabal	13-Nov-2009 18:30	1.1K
	lighttpd.conf	13-Nov-2009 18:30	3.4K
	gwt/	13-Nov-2009 18:30	-
	grammar/	13-Nov-2009 18:30	-
	fracas/	13-Nov-2009 18:29	-
	doc/	13-Nov-2009 18:30	-
	_darcs/	13-Nov-2009 18:29	-
	SemanticsService.hs	13-Nov-2009 18:30	2.2K
	Sem.tex.lhs	13-Nov-2009 18:30	32K
	ResultXHtml.hs	13-Nov-2009 18:30	8.9K
	ReasoningService.hs	13-Nov-2009 18:30	1.9K
	ReasonFolkung.hs	13-Nov-2009 18:30	3.3K
	Reason.hs	13-Nov-2009 18:30	2.7K
	README	13-Nov-2009 18:30	856
	Problem.hs	13-Nov-2009 18:30	1.6K
	Otter.hs	13-Nov-2009 18:30	3.3K
	MosgCGI.hs	13-Nov-2009 18:30	2.6K
	Mosg.hs	13-Nov-2009 18:30	8.4K
	Makefile	13-Nov-2009 18:30	2.2K
	MainFraCaS.hs	13-Nov-2009 18:30	3.0K
	MainFastCGI.hs	13-Nov-2009 18:30	922
	MainCGI.hs	13-Nov-2009 18:30	197
	Main.hs	13-Nov-2009 18:30	654
	MISSING	13-Nov-2009 18:29	874
	Keller.hs	13-Nov-2009 18:30	2.3K
	InterSimple.lhs	13-Nov-2009 18:30	1.0K
	InterShallow.hs	13-Nov-2009 18:30	1.4K
	InterGeneral.tex.lhs	13-Nov-2009 18:30	6.3K
	InterExample.tex.lhs	13-Nov-2009 18:30	6.2K
	InterDeep.hs	13-Nov-2009 18:30	1.6K
	Inter.lhs	13-Nov-2009 18:30	2.5K
	Input_XHtml.hs	13-Nov-2009 18:30	2.7K
	Input.lhs	13-Nov-2009 18:30	3.0K
	FraCaSProblemsDtd.hs	13-Nov-2009 18:30	9.9K
	FraCaS.hs	13-Nov-2009 18:30	2.3K
	FastCGIUtils.hs	13-Nov-2009 18:30	4.3K
	FOL.hs	13-Nov-2009 18:30	9.0K