#
# ChangeLog for experiments/frams/logic/data/scripts/formulas_processing.inc
#
# Generated by Trac 1.2.1
# 04/28/24 06:05:28

Wed, 12 Mar 2014 01:02:24 GMT Maciej Komosinski [169]
	* experiments/frams/logic (added)
	* experiments/frams/logic/data (added)
	* experiments/frams/logic/data/scripts (added)
	* experiments/frams/logic/data/scripts/abduction_misc.inc (added)
	* experiments/frams/logic/data/scripts/data_conversion.inc (added)
	* experiments/frams/logic/data/scripts/formulas_processing.inc (added)
	* experiments/frams/logic/data/scripts/lists_processing.inc (added)
	* experiments/frams/logic/data/scripts/literals_processing.inc (added)
	* experiments/frams/logic/data/scripts/logic_abduction.expdef (added)
	* experiments/frams/logic/data/scripts/synthetic_rules.inc (added)
	* experiments/frams/logic/data/scripts/synthetic_tableau.inc (added)
	* experiments/frams/logic/readme-abduction.txt (added)
	* experiments/frams/logic/run-abduction.cmd (added)

	A library of logic functions, an experiment definition that generates ...