Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
sav08:ground_terms [2008/04/01 15:55] giuliano |
sav08:ground_terms [2009/05/13 10:29] vkuncak |
||
|---|---|---|---|
| Line 10: | Line 10: | ||
| **Example**\\ | **Example**\\ | ||
| - | ${\cal L}=\{a, f_1\}$ \\ | + | ${\cal L}=\{a, f\}$ \\ |
| $GT=\{a, f(a), f(f(a)), f(f(f(a))), ...\}$ | $GT=\{a, f(a), f(f(a)), f(f(f(a))), ...\}$ | ||