/[mojave]/metaprl/theories/s4lp/s4_logic.mli
ViewVC logotype

Log of /metaprl/theories/s4lp/s4_logic.mli

Parent Directory Parent Directory | Revision Log Revision Log


Links to HEAD: (view) (download) (annotate)
Sticky Revision:

Revision 9652 - (view) (download) (annotate) - [select for diffs]
Modified Tue Oct 31 05:33:38 2006 UTC (14 years, 7 months ago) by nogin
File length: 3745 byte(s)
Diff to previous 7583
Added iforms - diamond, iff (untested)


Revision 7583 - (view) (download) (annotate) - [select for diffs]
Modified Tue Jul 12 06:15:11 2005 UTC (15 years, 11 months ago) by yegor
File length: 3529 byte(s)
Diff to previous 7581
Now I have problem with recosntruction of the correct ordering of inferences.


Revision 7581 - (view) (download) (annotate) - [select for diffs]
Modified Tue Jul 12 01:40:04 2005 UTC (15 years, 11 months ago) by yegor
File length: 3522 byte(s)
Diff to previous 7577
Some minor fixes.
Wise men added but they don't work for some reason.


Revision 7577 - (view) (download) (annotate) - [select for diffs]
Modified Mon Jul 11 07:25:47 2005 UTC (15 years, 11 months ago) by yegor
File length: 3652 byte(s)
Diff to previous 7563
Groundwork for multi-modal S4.
At this moment S4 is actualy broken, but at least ITT is not :)


Revision 7563 - (view) (download) (annotate) - [select for diffs]
Modified Thu Jul 7 02:30:10 2005 UTC (15 years, 11 months ago) by nogin
File length: 3640 byte(s)
Diff to previous 7557
This is a huge commit that is mostly no-op:

- Updated the standard preamble text to point to the correct location for the
  documentation and to avoid mentioning Nuprl.

- Changed "Nuprl-Light" -> "MetaPRL" in a few places (amazingly, we still had
  those).

- Split the Nuprl_font file into Mpfont and Mpsymbols.

- Protected a few display forms in ITT with a "doc docoff".


Revision 7557 - (view) (download) (annotate) - [select for diffs]
Added Tue Jul 5 01:58:35 2005 UTC (15 years, 11 months ago) by yegor
File length: 3652 byte(s)
Merging S4-prover to the main trunk


This form allows you to request diffs between any two revisions of this file. For each of the two "sides" of the diff, enter a numeric revision.

  Diffs between and
  Type of Diff should be a

  ViewVC Help
Powered by ViewVC 1.1.26