Dear all, I would like to run a parser, say "isabelle-context", from isabelle_sidekick.scala on a theory file and examine the output. Could someone advise on how to do this? I'm not sure where to look for an example call in the code
Thank you, Carlin MacKenzie The University of Edinburgh The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336.
_______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
