Thu, 05 Jan 2012 13:24:29 +0100 | wenzelm | tuned signature -- emphasize special nature of protocol commands; | file | diff | annotate |
Thu, 01 Dec 2011 14:29:14 +0100 | wenzelm | clarified modules (again) -- NB: both Document and Protocol are specific to this particular prover; | file | diff | annotate | base |