Some Remarks on %cons-Annotations

[Dieter Hutter <hutter@dfki.de>]

Dear all,

as I read from Bernd's minutes of the meeting of the language
design task group in Bonas, I was expected to make a note on
model theoretical vs. proof theoretical definition of conservative
extensions and possible tool support. The Note can be found under

  http://www.dfki.de/vse/staff/hutter/cofinote.ps 

              Dieter

----------------------------------------------------------
Dr. Dieter Hutter
German Research Center for Artificial Intelligence
Stuhlsatzenhausweg 3, D-66123 Saarbruecken, Germany

Tel. ++49-681-302-5317   Fax. ++49-681-302-2235
E-mail: hutter@dfki.de
-----------------------------------------------------------