source: git/modules/openmath/arith1.bpl

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(add) @913156   18 years bricken *bricken: initial version git-svn-id: ... fieker-DuValspielwiese
Note: See TracRevisionLog for help on using the revision log.