src/HOL/Trancl.ML
1996-03-06 ago Ran expandshort
1996-02-15 ago Added a few thms and the new theory RelPow.
1996-01-30 ago expanded tabs
1995-10-25 ago Added various thms and tactics.
1995-05-28 ago Added trancl_cs
1995-05-26 ago Trancl is now based on Relation which used to be in Integ.
1995-05-15 ago renamed trans_rtrancl to rtrancl_trans and modified it by expanding trans.
1995-05-13 ago Added some lemmas about r^*.
1995-03-24 ago changed syntax of tuples from <..., ...> to (..., ...)
1995-03-03 ago new version of HOL with curried function application