Skip to content
Success

Changes

Summary

  1. Dict_Construction website (Apparently including updates caused by previous modifications to the metadata file!)
  2. Dict_Construction
Changeset 7951:c88d60f48bac by paulson _lp15@cam.ac.uk_:
Dict_Construction website (Apparently including updates caused by previous modifications to the metadata file!)
The file was addedweb/entries/Dict_Construction.shtml
The file was modified metadata/metadata (diff)
The file was modified web/entries/Automatic_Refinement.shtml (diff)
The file was modified web/entries/Bertrands_Postulate.shtml (diff)
The file was modified web/entries/Lazy_Case.shtml (diff)
The file was modified web/entries/Regular-Sets.shtml (diff)
The file was modified web/index.shtml (diff)
The file was modified web/rss.xml (diff)
The file was modified web/statistics.shtml (diff)
The file was modified web/topics.shtml (diff)
Changeset 7950:22430dfb04bf by paulson _lp15@cam.ac.uk_:
Dict_Construction
The file was addedthys/Dict_Construction/Dict_Construction.thy
The file was addedthys/Dict_Construction/Impossibility.thy
The file was addedthys/Dict_Construction/Introduction.thy
The file was addedthys/Dict_Construction/ROOT
The file was addedthys/Dict_Construction/Test_Dict_Construction.thy
The file was addedthys/Dict_Construction/class_graph.ML
The file was addedthys/Dict_Construction/dict_construction.ML
The file was addedthys/Dict_Construction/dict_construction_util.ML
The file was addedthys/Dict_Construction/document/root.bib
The file was addedthys/Dict_Construction/document/root.tex
The file was modified thys/ROOTS (diff)