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

Name	Date	Size
..	2011-02-25 17:31:23	6
base-zf.elf	2011-02-25 17:31:23	153
base.elf	2011-02-25 17:31:23	215
base.omdoc	2010-06-16 02:24:04	1.5 KiB
bool-zf.elf	2011-02-25 17:31:23	481
bool.elf	2011-02-25 17:31:23	2.3 KiB
bool.omdoc	2010-06-16 02:24:04	189.6 KiB
modules-zf.elf	2011-02-25 17:31:23	2.6 KiB
modules.elf	2011-02-25 17:31:23	2.9 KiB
modules.omdoc	2010-06-16 02:24:04	126.4 KiB
prop-zf.elf	2011-02-25 17:31:23	252
prop.elf	2011-02-25 17:31:23	541
prop.omdoc	2010-06-16 02:24:04	1.4 KiB
propmod.elf	2011-02-25 17:31:23	935