Cross Reference: /hets/Framework/specs/logics/first-order/proof

Name	Date	Size
..	2011-02-25 17:31:23	6
base.elf	2011-02-25 17:31:23	164
derived.elf	2011-02-25 17:31:23	2.9 KiB
dfol.elf	2011-02-25 17:31:23	1.3 KiB
fol.elf	2011-02-25 17:31:23	635
ifol.elf	2011-02-25 17:31:23	414
modules.elf	2011-02-25 17:31:23	846
sfol.elf	2011-02-25 17:31:23	311
sifol.elf	2011-02-25 17:31:23	352
sifol.omdoc	2010-06-16 02:24:04	644
sorted_base.elf	2011-02-25 17:31:23	165
sorted_base.omdoc	2010-06-16 02:24:04	362
sorted_modules.elf	2011-02-25 17:31:23	850
sorted_modules.omdoc	2010-06-16 02:24:04	37.7 KiB