| Wed, 14 Sep 2005 23:31:09 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 14 Sep 2005 23:15:00 +0200 | wenzelm | hide: added option '(open)'; | changeset | files |
| Wed, 14 Sep 2005 23:14:59 +0200 | wenzelm | imports Commutative_Ring instead of Main, since the latter hides our names; | changeset | files |
| 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 |