]> matita.cs.unibo.it Git - helm.git/history - helm/software/lambda-delta/Make
1) NCicTypechecker.typecheck_obj removed, since it did not add to the
[helm.git] / helm / software / lambda-delta / Make
2008-12-14 Ferruccio Guidinew kernel basic_ag (with absolute local references)