Tue, 05 Mar 2002 18:19:11 +0100 | prensani | New order in the loading of theories (Quote-antiquote right before the OG_Syntax and RG_Syntax respectively) | changeset | files |
Tue, 05 Mar 2002 17:14:11 +0100 | prensani | Adding root.tex for HoareParallel | changeset | files |
Tue, 05 Mar 2002 17:11:25 +0100 | prensani | HoareParallel Theories | changeset | files |