src/HOL/Library/Graphs.thy
2007-05-19 nipkow 2007-05-19 Had to replace "case 1/2" by "case base/step". No idea why.
2007-05-06 haftmann 2007-05-06 changed code generator invocation syntax
2007-04-20 haftmann 2007-04-20 Isar definitions are now added explicitly to code theorem table
2007-04-13 wenzelm 2007-04-13 tuned document (headers, sections, spacing);
2007-04-13 krauss 2007-04-13 more robust proof
2007-04-10 krauss 2007-04-10 some restructuring
2007-03-16 haftmann 2007-03-16 adjusted to new lattice theory developement in Lattices.thy / FixedPoint.thy
2007-03-10 berghofe 2007-03-10 Adapted to changes in definition of SUP.
2007-03-09 haftmann 2007-03-09 stepping towards uniform lattice theory development in HOL
2007-02-28 krauss 2007-02-28 added headers
2007-02-26 krauss 2007-02-26 Added formalization of size-change principle (experimental).