/[mojave]
ViewVC logotype

Revision 9653


Jump to revision: Previous Next
Author: nogin
Date: Tue Oct 31 05:41:14 2006 UTC (14 years, 7 months ago)
Changed paths: 1
Log Message:
Fixing a typo


Changed paths

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

  ViewVC Help
Powered by ViewVC 1.1.26