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