| Thu, 15 Sep 2005 20:24:53 +0200 | wenzelm | incorporated HOL/Hyperreal/CHANGES; | changeset | files |
| Thu, 15 Sep 2005 17:46:00 +0200 | paulson | massive tidy-up and simplification | changeset | files |
| Thu, 15 Sep 2005 17:45:17 +0200 | paulson | moving Commutative_Ring to the correct theory | changeset | files |
| Thu, 15 Sep 2005 17:44:53 +0200 | paulson | comment | changeset | files |
| Thu, 15 Sep 2005 17:18:57 +0200 | wenzelm | poly -doDisplay; | changeset | files |
| Thu, 15 Sep 2005 17:17:06 +0200 | wenzelm | TableFun/Symtab: curried lookup and update; | changeset | files |
| Thu, 15 Sep 2005 17:17:05 +0200 | wenzelm | TableFun/Symtab: curried lookup and update; | changeset | files |
| Thu, 15 Sep 2005 17:17:04 +0200 | wenzelm | fixed type; | changeset | files |
| Thu, 15 Sep 2005 17:17:03 +0200 | wenzelm | fixed ML; | changeset | files |
| Thu, 15 Sep 2005 17:17:02 +0200 | wenzelm | The Hebrew Alef-Bet -- Unicode example; | changeset | files |
| Thu, 15 Sep 2005 17:17:01 +0200 | wenzelm | added Hebrew.thy; | changeset | files |
| Thu, 15 Sep 2005 17:16:56 +0200 | wenzelm | TableFun/Symtab: curried lookup and update; | changeset | files |
| Thu, 15 Sep 2005 17:16:55 +0200 | wenzelm | fixed document; | changeset | files |
| Thu, 15 Sep 2005 17:16:54 +0200 | wenzelm | added HOL/ex/Hebrew.thy; | changeset | files |