Wed, 14 Sep 2005 23:14:58 +0200 | wenzelm | hide the rather generic names used in theory Commutative_Ring; | changeset | files |
Wed, 14 Sep 2005 23:14:57 +0200 | wenzelm | renamed Guard/NS_Public, Guard/OtwayRees, Guard/Yahalom.thy to avoid clash with plain Auth versions; | changeset | files |
Wed, 14 Sep 2005 23:06:02 +0200 | schirmer | ... prem19 | changeset | files |