comparison demo/tcSum.urs @ 1681:e8a84494d2c0

Fix runtime system handling of <dyn> inside <table> inside <dyn>
author Adam Chlipala <adam@chlipala.net>
date Sun, 22 Jan 2012 20:25:14 -0500
parents e0e9e9eca1cb
children
comparison
equal deleted inserted replaced
1680:5b2c7b9f6017 1681:e8a84494d2c0