https://github.com/antlr/grammars-v4
Revision 667ef4a31acc2fb9aa0ce67144791de3bbd321ce authored by Laurent Bovet on 10 March 2024, 23:10:46 UTC, committed by Ivan Kochurkin on 14 March 2024, 11:26:30 UTC
1 parent 49cd03f
History
Tip revision: 667ef4a31acc2fb9aa0ce67144791de3bbd321ce authored by Laurent Bovet on 10 March 2024, 23:10:46 UTC
[PlSql] DEPRECATE Pragma
Tip revision: 667ef4a
File Mode Size
commute1.txt -rw-r--r-- 20 bytes
doubleneg.txt -rw-r--r-- 9 bytes
equiv1.txt -rw-r--r-- 30 bytes
modusponens.txt -rw-r--r-- 21 bytes
modustollens.txt -rw-r--r-- 22 bytes
syllogism.txt -rw-r--r-- 31 bytes
taut1.txt -rw-r--r-- 12 bytes
taut2.txt -rw-r--r-- 12 bytes

back to top