src/HOL/Trancl.thy
1999-07-06 wenzelm 1999-07-06 _reflcl;
1998-10-02 nipkow 1998-10-02 id <-> Id
1997-07-04 nipkow 1997-07-04 Reduced priority of postfix ^* etc operators such that they are the same as application. Eg wf r^* now needs to be written wf(r^*).
1996-08-19 paulson 1996-08-19 Changed precedences to remove ambiguities in r^+ notation
1996-04-04 paulson 1996-04-04 Using new "Times" infix
1996-03-08 clasohm 1996-03-08 added constdefs section
1996-02-05 clasohm 1996-02-05 expanded tabs; renamed subtype to typedef; incorporated Konrad's changes
1995-10-25 nipkow 1995-10-25 Added various thms and tactics.
1995-10-19 clasohm 1995-10-19 corrected spelling of title (to test new CVS loginfo)
1995-05-26 nipkow 1995-05-26 Trancl is now based on Relation which used to be in Integ.
1995-03-24 clasohm 1995-03-24 changed syntax of tuples from <..., ...> to (..., ...)
1995-03-03 clasohm 1995-03-03 new version of HOL with curried function application