src/HOLCF/Porder.ML
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";