Changes in Binder.hascasl http://src.iws.cs.ovgu.de/source/rss/hets/HasCASL/test/Binder.hascasl en Copyright 2005 Java using ';;' identifier git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9929 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/HasCASL/test/Binder.hascasl - 971cd9553a84c1e1bdbccd0bd63f4fe00b8502f9 Christian Maeder <Christian.Maeder@dfki.de> removed do as keyword git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9926 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/HasCASL/test/Binder.hascasl - 4e013227ed41ccd2e3d09dd44bedd651e1901f38 Christian Maeder <Christian.Maeder@dfki.de> expanded binder syntax (finished #447) git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9925 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/HasCASL/test/Binder.hascasl - 6fc65e097da8013f5f4f96c8b343b9b48cd3d9e1 Christian Maeder <Christian.Maeder@dfki.de> make binders assoc_right git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9923 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/HasCASL/test/Binder.hascasl - b734b51e16ca659814c11205dfb0e97d13bf7ef6 Christian Maeder <Christian.Maeder@dfki.de> parse binder syntax of #447 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9922 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/HasCASL/test/Binder.hascasl - 31a189d4cff554f78407cdc422480e84e99a6ec6 Christian Maeder <Christian.Maeder@dfki.de>