Convenient abbreviations and combinations of often used functions
Various prime form generations
Various prime form generations with combined parsing and display
Random generation
Auxiliary random functions (probably obsolete)
Random I-Forms and X-Forms
Random DNFs and CNFs
Random propositional formulas in general
Size parameter
Random formulas
Testing
Testing a propositional algebra
Axioms of propositional algebras
The summarized test function for a propositional algebra
Testing the normalizations
Testing the default propositional algebras
Testing of the M- and P-procedure
Correctness of the Prime Normal Form constructions
Test for the total package
Profiling - first version
Measures
correctness tests (move these correctness tests)--!!!!!!!!!!1
performance tests
Profiling - second version