From 76440e747b70db646effbd6288c78d4aa04eb0b0 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 3 Sep 1998 16:24:04 +0000
Subject: Added Isabelle example and skeleton for Coq and Lego.

---
 lego/example.l | 2 ++
 1 file changed, 2 insertions(+)
 create mode 100644 lego/example.l

(limited to 'lego')

diff --git a/lego/example.l b/lego/example.l
new file mode 100644
index 00000000..c82e7b2c
--- /dev/null
+++ b/lego/example.l
@@ -0,0 +1,2 @@
+
+INSERT HANDY LEGO EXAMPLE HERE!
\ No newline at end of file
-- 
cgit v1.2.3