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. --- coq/example.v | 2 ++ 1 file changed, 2 insertions(+) create mode 100644 coq/example.v (limited to 'coq/example.v') diff --git a/coq/example.v b/coq/example.v new file mode 100644 index 00000000..c9c88d9e --- /dev/null +++ b/coq/example.v @@ -0,0 +1,2 @@ + +INSERT HANDY COQ EXAMPLE HERE! \ No newline at end of file -- cgit v1.2.3