Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. slightly more canonical imports
  2. setup for Haskell taken over from AFP / Gauss_Jordan
  3. tuned equation
  4. restructured for future incorporation of Haskell
  5. slightly more uniform style
  6. taken over from AFP / Gauss_Jordan
  7. more cartouches
  8. merged
  9. normalize imports
Changeset 68660:4ce18f389f53 by haftmann:
slightly more canonical imports
The file was modified src/HOL/Library/Lattice_Syntax.thy (diff)
The file was modified src/HOL/Quotient_Examples/Quotient_Int.thy (diff)
The file was modified src/HOL/ex/Computations.thy (diff)
Changeset 68659:db0c70767d86 by haftmann:
setup for Haskell taken over from AFP / Gauss_Jordan
The file was modified src/HOL/Library/IArray.thy (diff)
Changeset 68658:16cc1161ad7f by haftmann:
tuned equation
The file was modified src/HOL/Library/IArray.thy (diff)
Changeset 68657:65ad2bfc19d2 by haftmann:
restructured for future incorporation of Haskell
The file was modified src/HOL/Library/IArray.thy (diff)
Changeset 68656:297ca38c7da5 by haftmann:
slightly more uniform style
The file was modified src/HOL/Library/IArray.thy (diff)
Changeset 68655:90652333fae2 by haftmann:
taken over from AFP / Gauss_Jordan
The file was modified src/HOL/Library/IArray.thy (diff)
Changeset 68654:81639cc48d0a by haftmann:
more cartouches
The file was modified src/HOL/Library/IArray.thy (diff)
Changeset 68653:5a5146c3a35b by traytel:
merged
Changeset 68652:1e37b45ce3fb by traytel:
normalize imports
The file was modified src/HOL/Cardinals/Cardinal_Arithmetic.thy (diff)
The file was modified src/HOL/Cardinals/Cardinal_Order_Relation.thy (diff)
The file was modified src/HOL/Cardinals/Wellorder_Constructions.thy (diff)
The file was modified src/HOL/Cardinals/Wellorder_Embedding.thy (diff)
The file was modified src/HOL/Cardinals/Wellorder_Relation.thy (diff)