Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. experimental commands for proof sketching and exploration
  2. irrelevant
Changeset 70018:571909ef3103 by haftmann:
experimental commands for proof sketching and exploration
The file was addedsrc/HOL/ex/Sketch_and_Explore.thy
The file was modified src/HOL/ROOT (diff)
Changeset 70017:3347396ffdb3 by haftmann:
irrelevant
The file was modified src/HOL/Code_Numeral.thy (diff)