Fedor Isakov 57de11c3fe Rename all modules/models having prefix j.m.typechecking to j.m.coderules.typechecking. The former is reserved.		2019-06-05 16:15:59 +02:00
..
generator/template	Name solutions and models consistently in samples (fitch)	2018-07-22 14:48:12 +02:00
models	Rename concept Handler -> RulesList	2019-05-09 17:30:14 +02:00
samples.fitch.propositionalLogic.mpl	Rename all modules/models having prefix j.m.typechecking to j.m.coderules.typechecking. The former is reserved.	2019-06-05 16:15:59 +02:00