| Tue, 29 Mar 2011 22:36:56 +0200 | wenzelm | tuned proofs; | changeset | files |
| Tue, 29 Mar 2011 21:48:01 +0200 | wenzelm | use shared copy of hoare_syntax.ML; | changeset | files |
| Tue, 29 Mar 2011 21:11:02 +0200 | wenzelm | Hoare syntax: standard abstraction syntax admits source positions; | changeset | files |
| Tue, 29 Mar 2011 17:47:11 +0200 | wenzelm | tuned headers; | changeset | files |
| Tue, 29 Mar 2011 17:30:26 +0200 | wenzelm | tuned headers; | changeset | files |
| Tue, 29 Mar 2011 14:27:44 +0200 | hoelzl | NEWS | changeset | files |
| Tue, 29 Mar 2011 14:27:42 +0200 | hoelzl | rename Probability_Space to Probability_Measure | changeset | files |