Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. fixed auto problem
  2. fixed if_split but is still broken
Changeset 6995:00f1c6cf51a1 by nipkow:
fixed auto problem
The file was modified thys/Ptolemys_Theorem/Ptolemys_Theorem.thy (diff)
Changeset 6994:1c4ccb0de15e by nipkow:
fixed if_split but is still broken
The file was modified thys/Ptolemys_Theorem/Ptolemys_Theorem.thy (diff)