Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] answer to my own question

Email Gateway (Aug 18 2022 at 10:40):

From: Michael Norrish <michael.norrish@nicta.com.au>
I did some grepping in the source code, and realised that I need to
use TVar rather than TFree, when constructing an inclass term.

Michael.

Last updated: Jan 04 2025 at 20:18 UTC