| Sun, 13 Jan 2002 21:14:31 +0100 | wenzelm | tuned; | changeset | files |
| Sun, 13 Jan 2002 21:14:14 +0100 | wenzelm | prime_dvd_power_two; | changeset | files |
| 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 |
| Sat, 12 Jan 2002 22:17:08 +0100 | wenzelm | produce predicate text; | changeset | files |
| Sat, 12 Jan 2002 22:15:48 +0100 | wenzelm | added atomize_cterm; | changeset | files |
| Sat, 12 Jan 2002 16:55:53 +0100 | wenzelm | tuned; | changeset | files |
| Sat, 12 Jan 2002 16:40:02 +0100 | wenzelm | unify_frozen: proper use of maxidx'; | changeset | files |
| Sat, 12 Jan 2002 16:38:42 +0100 | wenzelm | paramify_dummies: proper treatment of maxidx; | changeset | files |