]> matita.cs.unibo.it Git - helm.git/history - helm/software/lambda-delta/basic_ag/bagOutput.ml
Back to step 1: all files that used to pass now pass again.
[helm.git] / helm / software / lambda-delta / basic_ag / bagOutput.ml
2008-12-14 Ferruccio Guidi- improved logging
2008-12-14 Ferruccio Guidinew kernel basic_ag (with absolute local references)