| author | wenzelm |
| Fri, 26 Oct 2001 14:02:58 +0200 | |
| changeset 11944 | 0594e63e6057 |
| 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 |
val Lomega2 = simple @ [lam_bs,pi_bs,lam_bb,pi_bb]; |