Mon, 19 Jul 1999 16:53:31 +0200 | wenzelm | added isabelle_isar logo; | changeset | files |
Mon, 19 Jul 1999 16:53:02 +0200 | wenzelm | updated; | changeset | files |
Mon, 19 Jul 1999 16:47:24 +0200 | wenzelm | renamed 'with' to 'using'; | changeset | files |
Mon, 19 Jul 1999 16:32:45 +0200 | wenzelm | *** empty log message *** | changeset | files |
Mon, 19 Jul 1999 15:35:42 +0200 | paulson | NatBin: binary arithmetic for the naturals | changeset | files |
Mon, 19 Jul 1999 15:32:14 +0200 | paulson | examples of arithmetic on the naturals | changeset | files |