Fri, 24 Oct 1997 17:28:20 +0200 | wenzelm | record: tuned output; | changeset | files |
Fri, 24 Oct 1997 17:25:33 +0200 | wenzelm | ProtoPure.flexpair_def; | changeset | files |
Fri, 24 Oct 1997 17:19:14 +0200 | wenzelm | ProtoPure.flexpair_def; | changeset | files |
Fri, 24 Oct 1997 17:18:49 +0200 | wenzelm | merge: default to ProtoPure.thy; | changeset | files |
Fri, 24 Oct 1997 17:18:25 +0200 | wenzelm | ProtoPure.thy etc.; | changeset | files |
Fri, 24 Oct 1997 17:18:00 +0200 | wenzelm | tuned names; | changeset | files |
Fri, 24 Oct 1997 17:17:10 +0200 | wenzelm | self_ref: check_stale; | changeset | files |