Change List for "Resolution of First Order Logic"


Hevok changed "Resolution of First Order Logic" on March 6, 2013, 3:22 p.m. Diffs are on Text Comment: Reformated code blocks and bullet lists.
Hevok changed "Resolution of First Order Logic" on March 6, 2013, 3:19 p.m. Diffs are on Text Comment: Reformated code blocks.
Hevok initialized "Resolution of First Order Logic" on March 6, 2013, 3:03 p.m. Comment: Created entry.