source: experiments/frams/logic

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @212   11 years adam syntheticConjABRule(A,B) now properly collects entangled literals from …
(edit) @193   11 years Maciej Komosinski Set svn:eol-style native for all textual files
(add) @169   11 years Maciej Komosinski A library of logic functions, an experiment definition that generates …
Note: See TracRevisionLog for help on using the revision log.