| Tue, 19 Sep 2006 15:19:38 +0200 | haftmann | cleanupdiff | changeset | files |
| Tue, 19 Sep 2006 06:22:26 +0200 | huffman | added classes real_div_algebra and real_field; added lemmas | changeset | files |
| Tue, 19 Sep 2006 05:54:17 +0200 | huffman | add Real/RealVector.thy | changeset | files |
| Mon, 18 Sep 2006 19:40:14 +0200 | wenzelm | * Pure: 'class_deps' command visualizes the subclass relation; | changeset | files |
| Mon, 18 Sep 2006 19:39:14 +0200 | wenzelm | added class_deps; | changeset | files |
| Mon, 18 Sep 2006 19:39:11 +0200 | wenzelm | added dest_arg, i.e. a tuned version of #2 o dest_comb; | changeset | files |
| Mon, 18 Sep 2006 19:39:07 +0200 | wenzelm | Thm.dest_arg; | changeset | files |
| Mon, 18 Sep 2006 19:12:50 +0200 | wenzelm | Present.display_graph; | changeset | files |