Re: [Hol-info] Visualizing subgoals in a proof script

[Mario Xerxes Castelán Castro «Ksenia»]

Thanks for the answers Michael, Freek, Mark.


_______________________________________________
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info