Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. Constructor_Funs: only rewrite if necessary (i.e. constructor not fully applied)
Changeset 8138:9806ea00c53d by lars hupel _lars.hupel@mytum.de_:
merged
Changeset 8137:51df9d785f67 by lars hupel _lars.hupel@mytum.de_:
Constructor_Funs: only rewrite if necessary (i.e. constructor not fully applied)
The file was modified thys/Constructor_Funs/constructor_funs.ML (diff)