Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. various improvements for dictionary construction
Changeset 8762:cda7cc51c330 by lars hupel _lars.hupel@mytum.de_:
various improvements for dictionary construction
The file was modified thys/Dict_Construction/Test_Dict_Construction.thy (diff)
The file was modified thys/Dict_Construction/dict_construction.ML (diff)
The file was modified thys/Dict_Construction/dict_construction_util.ML (diff)