Revision 2cd45a85 - Атомы first-order элементы. comp- и decomp-atoms не нужны - MCC/LiME - Мультиклет

« Previous | Next »

Revision 2cd45a85

Added by m.bakhterev over 11 years ago

ID 2cd45a853eb6bfd996a84c9cc31103df92b3a8a2
Parent 7ad27649
Child d341ff2f

Атомы first-order элементы. comp- и decomp-atoms не нужны

Files

added
modified
copied
renamed
deleted

View differences

lib
- lime
  - dumpdag.c (diff)
tst
- in-loadrawdag-1.txt (diff)
- in-loadrawdag.txt (diff)