Timestamp:
Nov 23, 2010, 2:30:10 PM (10 years ago)
Author:
sacerdot
Message:
  • Minimal changes to make it compile with the standard distribution of Matita once this directory is substituted to nlibrary
  • ambiguity reduced by lower-casing booleans
Location:
Deliverables/D4.1/Matita/Plogic
Files:
2 added

Note: See TracChangeset for help on using the changeset viewer.