about summary refs log tree commit diff
path: root/corepkgs
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2003-07-10T18·48+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2003-07-10T18·48+0000
commite5fbf5804192fa62d0edab0f6b323cc0c8d890f9 (patch)
treeecc024478f0e30692cb12560b9a8b9ae79c30bcf /corepkgs
parent8511571f653fcfbb724061dac330c544b6048722 (diff)
* A command to register successor fstate expressions.
  Unifying substitutes and successors isn't very feasible for now,
  since substitutes are only used when no path with a certain is
  known.  Therefore, a normal form of some expression stored as a
  substitute would not be used unless the expression itself was
  missing.

Diffstat (limited to 'corepkgs')
0 files changed, 0 insertions, 0 deletions