src/HOL/Library/Graphs.thy
2007-08-24 haftmann 2007-08-24 overloaded definitions accompanied by explicit constants
2007-08-20 haftmann 2007-08-20 Sup now explicit parameter of complete_lattice
2007-07-19 haftmann 2007-07-19 uniform naming conventions for CG theories
2007-07-11 berghofe 2007-07-11 Adapted to new inductive definition package.
2007-06-19 krauss 2007-06-19 generalized proofs so that call graphs can have any node type.
2007-06-14 wenzelm 2007-06-14 tuned proofs;
2007-06-13 wenzelm 2007-06-13 tuned proofs: avoid implicit prems;
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).