Dear Jürgen, since you seem to be quite knowledgable of the interpreter, would it be possible that you look at
http://wiki.axiom-developer.org/219TheInterpreterDoesNotUnderstandDependendTypes It would be really wonderful if you could resolve this! Martin _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
