Fedor Isakov 69bc34e8f9 Drop language j.m.l.smodel.types containing SNodeTypeOp that is no longer used.		2019-11-11 14:37:41 +01:00
..
samples.fitch	Drop language j.m.l.smodel.types containing SNodeTypeOp that is no longer used.	2019-11-11 14:37:41 +01:00
samples.fitch.firstOrderLogic	Fix the structural errors introduced by a badly run migration.	2019-11-06 12:05:18 +01:00
samples.fitch.herbrandLogic	Fix the structural errors introduced by a badly run migration.	2019-11-06 12:05:18 +01:00
samples.fitch.propositionalLogic	Fix the structural errors introduced by a badly run migration.	2019-11-06 12:05:18 +01:00