changeset 62008 | cbedaddc9351 |
parent 61946 | 844881193616 |
child 62130 | 90a3016a6c12 |
child 62152 | 7023a007712e |
--- a/src/HOL/ROOT Thu Dec 31 12:37:16 2015 +0100 +++ b/src/HOL/ROOT Thu Dec 31 12:43:09 2015 +0100 @@ -1100,7 +1100,7 @@ finite and infinite sequences. *} options [document = false] - theories "meta_theory/Abstraction" + theories "Abstraction" session "IOA-ABP" in "HOLCF/IOA/ABP" = IOA + description {*