changeset 17372 | d73f67e90a95 |
parent 16922 | 2128ac2aa5db |
--- a/src/HOLCF/Porder.ML Tue Sep 13 22:49:12 2005 +0200 +++ b/src/HOLCF/Porder.ML Tue Sep 13 23:30:01 2005 +0200 @@ -9,6 +9,7 @@ val chain_def = thm "chain_def"; val chainE = thm "chainE"; val chainI = thm "chainI"; +val chain_const = thm "chain_const"; val chain_mono3 = thm "chain_mono3"; val chain_mono = thm "chain_mono"; val chain_shift = thm "chain_shift";