Hello Norm, others, A quick bug report. I just noted that http://us.metamath.org/ileuni/wal.html incorrectly says "See definition df-tru <http://us.metamath.org/ileuni/df-tru.html> 1245 for more information." It should probably instead say, "This syntax is primitive. The first axiom using it is ...", like http://us.metamath.org/ileuni/wex.html says.
Thanks. -Marnix -- Marnix Klooster [email protected] -- 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/CAF7V2P-SZ%3DGMDZNu8Z3kgHZoK5hitSyZ%2BPKk_%2Bo0m5SDAO6s1A%40mail.gmail.com.
