Sat, 19 Aug 2000 12:45:11 +0200 | wenzelm | turned into new-style theory; | changeset | files |
Sat, 19 Aug 2000 12:44:39 +0200 | wenzelm | tuned; | changeset | files |
Sat, 19 Aug 2000 12:44:20 +0200 | wenzelm | tuned \isastyle; | changeset | files |
Sat, 19 Aug 2000 12:43:55 +0200 | wenzelm | added \isachar definitions; | changeset | files |
Sat, 19 Aug 2000 12:42:52 +0200 | wenzelm | %\urlstyle{rm} | changeset | files |
Sat, 19 Aug 2000 12:41:41 +0200 | wenzelm | renamed cond_with_path to cond_add_path (add to front); | changeset | files |
Fri, 18 Aug 2000 18:46:02 +0200 | paulson | X-symbols for ordinal, cardinal, integer arithmetic | changeset | files |