| author | wneuper |
| Thu, 10 May 2007 11:06:34 +0200 | |
| changeset 3876 | 7afe3b8f95b0 |
| permissions | -rw-r--r-- |
| wneuper@3876 | 1 |
fullCH=full CalcHead |
| wneuper@3876 | 2 |
given=Given |
| wneuper@3876 | 3 |
where=Where |
| wneuper@3876 | 4 |
find=Find |
| wneuper@3876 | 5 |
theory=Theory |
| wneuper@3876 | 6 |
method=Method |
| wneuper@3876 | 7 |
problem=Problem |
| wneuper@3876 | 8 |
relate=Relate |
| wneuper@3876 | 9 |
submit=Submit |
| wneuper@3876 | 10 |
solve=Solve |