[To Parent Directory] 24 марта 2003 г. 2:13 8293 IAResult.java 24 марта 2003 г. 2:13 38030 IntMatrix.java 24 марта 2003 г. 2:13 20723 InvariantAnalysis.java 24 марта 2003 г. 0:57 408 makefile 24 марта 2003 г. 0:57 132 README-Ia