HomeIsabelle/Phabricator

clarified order for presentation in isar-ref (Appendix B);