/[mojave]
ViewVC logotype

Revision 9652


Jump to revision: Previous Next
Author: nogin
Date: Tue Oct 31 05:33:38 2006 UTC (14 years, 7 months ago)
Changed paths: 2
Log Message:
Added iforms - diamond, iff (untested)


Changed paths

Path Details
Directorymetaprl/theories/s4lp/s4_logic.ml modified , text changed
Directorymetaprl/theories/s4lp/s4_logic.mli modified , text changed

  ViewVC Help
Powered by ViewVC 1.1.26