On 27/09/17 00:56, Ramana Kumar wrote: > I just wanted to point out, in case you didn't know, that many tactics have > lowercase synonyms so you don't have to write them out in all capital > letters. For example pop_assum and rewrite_tac.
Right; thanks. I do not mind using uppercase identifiers. When both are available, I use the uppercase one because it seems to be the de-facto standard (e.g.: there is “gen_tac” but no “disch_tac”, although one can define it with “val”), but I would also be comfortable using the other one. > There are also some cheatsheets around online for commonly used tactics, > e.g., http://sange.fi/~magnus/cheatsheet.txt and > https://gist.github.com/xrchz/71048e26e42f7f195d1726a855a4d2ff. Maybe these > should be linked from the main website (and probably merged)... Thanks you. These are nice. -- Do not eat animals; respect them as you respect people. https://duckduckgo.com/?q=how+to+(become+OR+eat)+vegan
signature.asc
Description: OpenPGP digital signature
------------------------------------------------------------------------------ Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot
_______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
