|
.. |
2018-01-05 11:34:05 |
117 |
|
case.bib |
2007-07-30 06:51:41 |
26.9 KiB |
|
casl.sty |
2004-02-12 11:44:32 |
13.1 KiB |
|
CLgraph.pdf |
2013-01-10 16:42:18 |
61.5 KiB |
|
cofi-ann.bib |
2007-07-12 16:04:20 |
144.7 KiB |
|
cofibib.bib |
2007-07-12 16:04:20 |
30.8 KiB |
|
collected_proposals.tex |
2005-03-10 16:50:29 |
2.6 KiB |
|
colore-subset.dot |
2012-01-21 15:09:11 |
986 |
|
colore-subset.pdf |
2012-01-21 15:09:11 |
50.6 KiB |
|
ConscheckerGUI.png |
2007-05-15 11:43:42 |
21.9 KiB |
|
ConsCheckResults.png |
2010-04-28 13:46:07 |
61 KiB |
|
ConsistencyChecker.png |
2010-04-28 13:46:07 |
68.8 KiB |
|
ConsistencyCheckingGUI.tex |
2007-05-15 11:43:42 |
2.7 KiB |
|
copyUserGuide |
2005-11-03 17:58:45 |
74 |
|
dg2dg_translation |
2006-05-30 13:46:05 |
2.7 KiB |
|
ed.sty |
2012-01-18 09:10:06 |
5.7 KiB |
|
FormalMethodsatDFKIandUni-CF.tex |
2014-11-17 09:33:35 |
3 KiB |
|
hets-architecture.pdf |
2016-08-23 09:27:50 |
46.3 KiB |
|
hets-architecture.svg |
2016-08-23 09:27:50 |
36.3 KiB |
|
hets-motherboard.png |
2010-04-14 17:21:46 |
178.1 KiB |
|
hets.bib |
2014-03-18 16:10:46 |
21.6 KiB |
|
hets.fig |
2004-02-07 01:50:53 |
5.1 KiB |
|
hets.tex |
2004-02-07 01:50:53 |
10.4 KiB |
|
hets2007.pdf |
2010-12-16 19:51:53 |
19.6 KiB |
|
hets2007.png |
2007-03-21 12:56:36 |
84.5 KiB |
|
hets2007.ps |
2007-03-21 12:56:36 |
135.1 KiB |
|
hetsForCL.bib |
2012-02-01 19:23:01 |
6.2 KiB |
|
hs2isa.pdf |
2007-07-30 06:51:41 |
161.3 KiB |
|
hs2isa.tex |
2007-07-30 06:51:41 |
57.6 KiB |
|
IndexingExample.het |
2005-03-10 16:50:29 |
291 |
|
IndexingExample.tex |
2005-03-10 16:50:29 |
674 |
|
kl.bib |
2012-01-20 17:08:21 |
14.9 KiB |
|
Libraries.tex |
2003-11-21 10:31:21 |
12.3 KiB |
|
LNCS2960_297-298.pdf |
2006-05-23 10:15:14 |
343.6 KiB |
|
LogicGraph-CL.dot |
2012-01-18 19:55:34 |
434 |
|
LogicGraph-CL.pdf |
2012-01-20 11:45:20 |
49.9 KiB |
|
LogicGraph.pdf |
2011-04-18 13:07:41 |
68.4 KiB |
|
lstsemantic.sty |
2012-01-26 15:27:50 |
5.3 KiB |
|
newmacros.tex |
2010-12-16 19:51:53 |
32.8 KiB |
|
Programming-Guidelines.txt |
2010-08-10 11:48:04 |
16.3 KiB |
|
ProofCommands.txt |
2006-06-15 13:12:22 |
3.4 KiB |
|
proofmanagement1.png |
2011-04-18 17:34:43 |
77.9 KiB |
|
proofmanagement1.ps |
2007-07-13 00:41:11 |
1.9 MiB |
|
SPASS-communications |
2006-08-31 09:12:03 |
3.2 KiB |
|
spassGUI1.eps |
2007-03-21 14:07:57 |
1.9 MiB |
|
spassGUI1.png |
2010-04-20 17:51:08 |
77.1 KiB |
|
SublogicGraph.pdf |
2011-04-19 10:08:08 |
20.8 KiB |
|
UM.bib |
2012-01-18 09:10:06 |
15.2 KiB |
|
unicode-chars.sty |
2012-01-20 11:45:20 |
1.2 KiB |
|
UserGuide.tex |
2018-01-05 11:34:05 |
90.2 KiB |
|
UserGuideCL_Consistency_devGraph.png |
2011-10-18 23:39:45 |
19 KiB |
|
UserGuideCL_Consistency_Interface.png |
2011-10-18 23:40:32 |
39.5 KiB |
|
UserGuideCL_Consistency_Result.png |
2011-10-18 23:39:45 |
59.4 KiB |
|
UserGuideCL_Prove_devGraph.png |
2011-10-18 23:39:45 |
20.2 KiB |
|
UserGuideCL_Prove_Prove.png |
2011-10-18 23:39:45 |
51.3 KiB |
|
UserGuideCL_Prove_Vampire.png |
2011-10-18 23:39:45 |
36.6 KiB |
|
UserGuideCommonLogic.pdf |
2013-01-10 16:42:18 |
739 KiB |
|
UserGuideCommonLogic.tex |
2013-01-10 16:42:18 |
74.5 KiB |
