Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. tuned;
Changeset 8856:a6e1af6e0ad2 by wenzelm:
merged
Changeset 8855:29edda7187a2 by wenzelm:
tuned;
The file was modified thys/Monad_Normalisation/monad_normalisation.ML (diff)