Fri, 21 May 2010 11:55:22 +0200 | Cezary Kaliszyk | More on Function-defined subst. | changeset | files |
Fri, 21 May 2010 11:46:47 +0200 | Cezary Kaliszyk | Isabelle renamings | changeset | files |
Fri, 21 May 2010 10:47:45 +0200 | Cezary Kaliszyk | merge | changeset | files |
Fri, 21 May 2010 10:43:14 +0200 | Cezary Kaliszyk | Renamings. | changeset | files |