author | nipkow |
Mon, 07 Jul 2003 17:58:21 +0200 | |
changeset 14091 | ad6ba9c55190 |
parent 11260 | b736de4cb913 |
permissions | -rw-r--r-- |
11260
b736de4cb913
renaming of theory LOmega to lomega2 in order to prevent a possible
paulson
parents:
diff
changeset
|
1 |
|
b736de4cb913
renaming of theory LOmega to lomega2 in order to prevent a possible
paulson
parents:
diff
changeset
|
2 |
Lomega2 = L2 + Lomega |