Cross Reference: /hets/Framework/specs/logics/propositional/proof

Name	Date	Size
..	2011-02-25 17:31:23	6
base.elf	2011-02-25 17:31:23	77
base.omdoc	2010-06-16 02:24:04	377
derived.elf	2011-02-25 17:31:23	3.4 KiB
derived.omdoc	2010-06-16 02:24:04	242.3 KiB
iprop.elf	2011-02-25 17:31:23	396
iprop.omdoc	2010-06-16 02:24:04	1.6 KiB
minimal-prop.elf	2011-02-25 17:31:23	471
minimal.elf	2010-06-16 02:24:04	320
modules.elf	2011-02-25 17:31:23	1.1 KiB
modules.omdoc	2010-06-16 02:24:04	26.4 KiB
prop.elf	2011-02-25 17:31:23	701
prop.omdoc	2010-06-16 02:24:04	6.2 KiB
tableaux.elf	2011-02-25 17:31:23	667