src/HOL/Library/Pattern_Aliases.thy
17 months ago wenzelm 2018-01-11 uniform use of Standard ML op-infix -- eliminated warnings;
17 months ago nipkow 2018-01-10 ran isabelle update_op on all sources
22 months ago Lars Hupel 2017-08-22 tuned
22 months ago Lars Hupel 2017-08-22 tuned syntax
22 months ago Lars Hupel 2017-08-22 output syntax for pattern aliases
22 months ago Lars Hupel 2017-08-18 syntax for pattern aliases