Wed, 20 Oct 2021 18:13:17 +0200 | wenzelm | discontinued obsolete "val extend = I" for data slots; | file | diff | annotate |
Tue, 16 Jul 2019 15:39:32 +0200 | wenzelm | support for a soft-type system within the Isabelle logical framework; | file | diff | annotate |