Diffusion Isabelle 006214c581ee

more operations for type classes;
006214c581ee
Actions

Tags

None

Subscribers

None

Description

more operations for type classes;

Details

Provenance

Authored on

Parents

rISABELLEef77ddd9cc6a: setup preprocessing for HOL proofs;

Branches

Unknown

Tags

Unknown

Event Timeline

wenzelm committed rISABELLE006214c581ee: more operations for type classes;.Oct 12 2019, 10:12 PM

Changes (1)

Path

Size

src/

Pure/

rISABELLE006214c581ee

src/Pure/term.scala

Loading...