From 02bb1c8598c540f4166f3c3f0f88c88df541c2dc Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 25 Aug 2010 15:06:03 +0000
Subject: Deleted file

---
 lclam/example.lcm | 34 ----------------------------------
 1 file changed, 34 deletions(-)
 delete mode 100644 lclam/example.lcm

(limited to 'lclam/example.lcm')

diff --git a/lclam/example.lcm b/lclam/example.lcm
deleted file mode 100644
index 5b275814..00000000
--- a/lclam/example.lcm
+++ /dev/null
@@ -1,34 +0,0 @@
-/* File name:      example.lcm                            */
-/* Description:    Tutorial walkthrough from LClam manual */
-/* Author:         James Brotherston                      */
-/* Last modified:  20th August 2001                       */
-
-query_top_goal X assp.
-
-set_spypoint (induction_top normal_ind).
-set_spypoint sym_eval.
-
-silent_output on.
-
-pds_plan (induction_top normal_ind) assp.
-continue.
-continue.
-continue.
-
-add_theory_to_induction_scheme_list arithmetic.
-add_theory_to_sym_eval_list arithmetic.
-set_wave_rule_to_sym_eval.
-add_to_sym_eval_list [idty].
-set_wave_rule_to_sym_eval.
-remove_spypoint (induction_top normal_ind).
-remove_spypoint sym_eval.
-pds_plan (induction_top normal_ind) assp.
-
-step_by_step on.
-pds_plan (induction_top normal_ind) assp.
-continue.
-backtrack.
-try ind_strat.
-continue.
-plan_node (2::1::nil).
-abandon.
-- 
cgit v1.2.3