Lab for Automated Reasoning and Analysis LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

sav07_lecture_6 [2007/04/16 10:03]
mirco.dotta
sav07_lecture_6 [2007/05/28 19:40] (current)
vasu.singh
Line 83: Line 83:
   x == h(u)   x == h(u)
   f(g(y)) == f(v)   f(g(y)) == f(v)
 +
  
  
 
sav07_lecture_6.txt · Last modified: 2007/05/28 19:40 by vasu.singh