|
.. |
2016-05-15 17:07:00 |
42 |
|
case.bib |
1970-01-01 01:00:00 |
0 |
|
casl.sty |
1970-01-01 01:00:00 |
0 |
|
CLgraph.pdf |
1970-01-01 01:00:00 |
0 |
|
cofi-ann.bib |
1970-01-01 01:00:00 |
0 |
|
cofibib.bib |
1970-01-01 01:00:00 |
0 |
|
collected_proposals.tex |
1970-01-01 01:00:00 |
0 |
|
colore-subset.dot |
1970-01-01 01:00:00 |
0 |
|
colore-subset.pdf |
1970-01-01 01:00:00 |
0 |
|
ConscheckerGUI.png |
1970-01-01 01:00:00 |
0 |
|
ConsCheckResults.png |
1970-01-01 01:00:00 |
0 |
|
ConsistencyChecker.png |
1970-01-01 01:00:00 |
0 |
|
ConsistencyCheckingGUI.tex |
1970-01-01 01:00:00 |
0 |
|
copyUserGuide |
1970-01-01 01:00:00 |
0 |
|
dg2dg_translation |
1970-01-01 01:00:00 |
0 |
|
ed.sty |
1970-01-01 01:00:00 |
0 |
|
FormalMethodsatDFKIandUni-CF.tex |
1970-01-01 01:00:00 |
0 |
|
hets-architecture.pdf |
1970-01-01 01:00:00 |
0 |
|
hets-architecture.svg |
1970-01-01 01:00:00 |
0 |
|
hets-motherboard.png |
1970-01-01 01:00:00 |
0 |
|
hets.bib |
1970-01-01 01:00:00 |
0 |
|
hets.fig |
1970-01-01 01:00:00 |
0 |
|
hets.tex |
1970-01-01 01:00:00 |
0 |
|
hets2007.pdf |
1970-01-01 01:00:00 |
0 |
|
hets2007.png |
1970-01-01 01:00:00 |
0 |
|
hets2007.ps |
1970-01-01 01:00:00 |
0 |
|
hetsForCL.bib |
1970-01-01 01:00:00 |
0 |
|
hs2isa.pdf |
1970-01-01 01:00:00 |
0 |
|
hs2isa.tex |
1970-01-01 01:00:00 |
0 |
|
IndexingExample.het |
1970-01-01 01:00:00 |
0 |
|
IndexingExample.tex |
1970-01-01 01:00:00 |
0 |
|
kl.bib |
1970-01-01 01:00:00 |
0 |
|
Libraries.tex |
1970-01-01 01:00:00 |
0 |
|
LNCS2960_297-298.pdf |
1970-01-01 01:00:00 |
0 |
|
LogicGraph-CL.dot |
1970-01-01 01:00:00 |
0 |
|
LogicGraph-CL.pdf |
1970-01-01 01:00:00 |
0 |
|
LogicGraph.pdf |
1970-01-01 01:00:00 |
0 |
|
lstsemantic.sty |
1970-01-01 01:00:00 |
0 |
|
newmacros.tex |
1970-01-01 01:00:00 |
0 |
|
Programming-Guidelines.txt |
1970-01-01 01:00:00 |
0 |
|
ProofCommands.txt |
1970-01-01 01:00:00 |
0 |
|
proofmanagement1.png |
1970-01-01 01:00:00 |
0 |
|
proofmanagement1.ps |
1970-01-01 01:00:00 |
0 |
|
SPASS-communications |
1970-01-01 01:00:00 |
0 |
|
spassGUI1.eps |
1970-01-01 01:00:00 |
0 |
|
spassGUI1.png |
1970-01-01 01:00:00 |
0 |
|
SublogicGraph.pdf |
1970-01-01 01:00:00 |
0 |
|
UM.bib |
1970-01-01 01:00:00 |
0 |
|
unicode-chars.sty |
1970-01-01 01:00:00 |
0 |
|
UserGuide.tex |
1970-01-01 01:00:00 |
0 |
|
UserGuideCL_Consistency_devGraph.png |
1970-01-01 01:00:00 |
0 |
|
UserGuideCL_Consistency_Interface.png |
1970-01-01 01:00:00 |
0 |
|
UserGuideCL_Consistency_Result.png |
1970-01-01 01:00:00 |
0 |
|
UserGuideCL_Prove_devGraph.png |
1970-01-01 01:00:00 |
0 |
|
UserGuideCL_Prove_Prove.png |
1970-01-01 01:00:00 |
0 |
|
UserGuideCL_Prove_Vampire.png |
1970-01-01 01:00:00 |
0 |
|
UserGuideCommonLogic.pdf |
1970-01-01 01:00:00 |
0 |
|
UserGuideCommonLogic.tex |
1970-01-01 01:00:00 |
0 |
