About this document ...

A Proposal for Syntactic Data Integration for Math Protocols

This document was generated using the LaTeX2HTML translator Version 98.1 delta (February 11th, 1998)

Copyright © 1993, 1994, 1995, 1996, 1997, Nikos Drakos, Computer Based Learning Unit, University of Leeds.

The command line arguments were:
latex2html -init_file ../latex2html.init -dir paper_html paper.tex.

The translation was initiated by Olaf Bachmann on 1998-02-12