Project

General

Profile

« Previous | Next » 

Revision 0038002e

Added by Pierre-Loïc Garoche over 7 years ago

Prepared first stage of code reorg:
1. moved type def in lustrespec.ml
2. moved constructor and basic functions in corelang
3. Modified eexpr with prenext quantifiers

  • added
  • modified
  • copied
  • renamed
  • deleted