From 98ec7ee18654ac2141661afbf32a95dbf8f34591 Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Sun, 2 Oct 2016 14:21:55 +0100 Subject: [PATCH] Added the famous royals and loyals example. --- README.md | 3 +++ 1 file changed, 3 insertions(+) diff --git a/README.md b/README.md index a940ee2..83eba12 100644 --- a/README.md +++ b/README.md @@ -5,6 +5,9 @@ OCL in the context of UML as well as SecureUML models. Most of the models were developed in the context of the original HOL-OCL and SecureUML. +## Models +* **Royals and Loyals:** The famous royals-and-loyals example. + ## Team * [Achim D. Brucker](http://www.brucker.ch/)