Parent DirectoryRevision 1.3 - (view) (download) (annotate) - [select for diffs]
Tue May 16 00:37:56 2006 UTC (2 years, 6 months ago) by oleg
Branch: MAIN
CVS Tags: HEAD
Changes since 1.2: +12 -1 lines
Diff to previous 1.2
simplified LEM proof, following suggestion by Eijiro Sumii
Revision 1.2 - (view) (download) (annotate) - [select for diffs]
Thu Jan 26 22:32:13 2006 UTC (2 years, 10 months ago) by oleg
Branch: MAIN
Changes since 1.1: +23 -1 lines
Diff to previous 1.1
added the reverse DeMorgan implications
Revision 1.1 - (view) (download) (annotate) - [select for diffs]
Tue Jan 10 09:44:48 2006 UTC (2 years, 10 months ago) by oleg
Branch: MAIN
added theorem proving in intuitionistic and classical logics.
This form allows you to request diffs between any two revisions of this file. For each of the two "sides" of the diff, select a symbolic revision name using the selection box, or choose 'Use Text Field' and enter a numeric revision.
Powered by ViewVC 1.0.5
©Copyright 1999-2008 -
SourceForge, Inc., All Rights Reserved