| Sat, 17 Sep 2005 19:17:33 +0200 | wenzelm | added quick_and_dirty (from Isar/skip_proofs.ML); | changeset | files |
| Sat, 17 Sep 2005 19:12:58 +0200 | wenzelm | manually generated from Isabelle/HOLCF/IOA/Complex/Import; | changeset | files |
| Sat, 17 Sep 2005 18:25:11 +0200 | wenzelm | tuned document; | changeset | files |