The TeX Catalogue Online

circle

Maths mode circles for temporal logic

The author is Klaus Georg Barthelmann.

License: noinfo Version dated: 1998-07-15 Catalogued: 2016-06-24