_example1 | AERN2.MP.WithCurrentPrec.Elementary |
_example1P | AERN2.MP.WithCurrentPrec.PreludeInstances |
_example2 | AERN2.MP.WithCurrentPrec.Elementary |
_example2P | AERN2.MP.WithCurrentPrec.PreludeInstances |
_example3 | AERN2.MP.WithCurrentPrec.Elementary |
_example3P | AERN2.MP.WithCurrentPrec.PreludeInstances |