Is there a way to display/list/show *only* statements and symbols of a certain type in Metamath? eg. only all constant symbols only all $a
Also: only all variables (and their typecodes) Lastly, (A) Can the format of the output be changed? (B) How does one pipe the output to a file? -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/57270b67-8e36-4ef8-935f-388df4565df1n%40googlegroups.com.
