| Sun, 13 Jan 2002 21:13:59 +0100 | wenzelm | symbolic syntax for x^2 (faills back on plain infix "^"); | changeset | files |
| Sun, 13 Jan 2002 21:13:27 +0100 | wenzelm | \usepackage[latin1]{inputenc}; | changeset | files |
| Sun, 13 Jan 2002 21:12:43 +0100 | wenzelm | * HOL: symbolic syntax for x^2 (numeral 2); | changeset | files |
| Sun, 13 Jan 2002 21:09:17 +0100 | wenzelm | added HOL/Real/document/root.tex; | changeset | files |
| Sun, 13 Jan 2002 19:45:17 +0100 | wenzelm | HOL-Real/Complex_Numbers; | changeset | files |
| Sun, 13 Jan 2002 19:42:30 +0100 | wenzelm | Real/Complex_Numbers.thy; | changeset | files |
| Sat, 12 Jan 2002 22:44:10 +0100 | wenzelm | tuned; | changeset | files |
| Sat, 12 Jan 2002 22:24:09 +0100 | wenzelm | tuned; | changeset | files |