Mon, 21 Jul 2003 08:52:06 +0200 | skalberg | *** empty log message *** | file | diff | annotate |
Sat, 19 Jul 2003 17:35:15 +0200 | skalberg | Added optional theorem names for the constant definitions added during | file | diff | annotate |
Thu, 17 Jul 2003 15:23:20 +0200 | skalberg | Added package for definition by specification. | file | diff | annotate |