# HG changeset patch
# User paulson
# Date 933162779 -7200
# Node ID 0e3d09451b7a54a738190097f8ae2ab9ba41f80e
# Parent  6d5923cecece8cf0e5d921b0dae5623e724edb8c
removed the unused SeqVar option

diff -r 6d5923cecece -r 0e3d09451b7a src/Sequents/Sequents.thy
--- a/src/Sequents/Sequents.thy	Wed Jul 28 13:50:35 1999 +0200
+++ b/src/Sequents/Sequents.thy	Wed Jul 28 13:52:59 1999 +0200
@@ -42,7 +42,6 @@
   
  SeqO           :: "o => seqobj"                        ("_")
  SeqId          :: "'a => seqobj"                       ("$_")
- SeqVar         :: "var => seqobj"                      ("$_")
 
 types