Project

General

Profile

« Previous | Next » 

Revision 0038002e

ID0038002ef2aaae23deb81564dba9673577e0edbb
Parent 7ecdb0aa
Child 920c31de

Added by Pierre-Loïc Garoche over 5 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

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences