zaimoni/Franci

master

Franci

Grade	Name	Complexity	Churn	Issues
F	docs\KripkeFrames.html		4	43
F	MetaCon3.cxx	1504	3	34
F	Gentzen.cpp	755	109	18
F	__IntegerNumeral.cxx	715	3	16
C	Equal.cxx	471	5	12
B	Class.cxx	288	4	9
B	Digraph.cxx	336	4	9
B	Zaimoni.STL\OS\console.cpp	281	1	8
A	StdMult.cxx	193	2	8
A	LexParse.cxx	254	3	7
A	MetaCon2.cxx	490	2	7
A	Logic.hpp	524	2	7
A	Combin1.cxx	157	4	6
A	docs\Reference_Logic.html		6	6
A	StdAdd.cxx	150	2	6
A	InParse.cxx	358	2	5
A	Zaimoni.STL\algor.hpp	155	2	5
A	Zaimoni.STL\LexParse\CSVTable.cpp	258	2	5
A	Zaimoni.STL\MetaRAM2.hpp	125	3	5
A	MetaCon1.cxx	182	10	4