Oh, so that answers my PS, haha: that's where I saw this symbol! Sorry, I just caught the conversation when it started to deal with types and I am not fully aware of miz3. Then, Bill, just change the corresponding character to whatever you want. A dot for instance.
-- Vincent Aravantinos PostDoctoral Fellow, Concordia University, Hardware Verification Group http://users.encs.concordia.ca/~vincent Am 2013-04-02 um 03:55 schrieb Freek Wiedijk <fr...@cs.ru.nl>: > Vincent: > >> Then each time you type something that starts with a semi-colon (e.g., >> `;blabla`), you obtain the intermediate preterm instead of the term. > > Hey! miz3 already uses `;...` for proofs. So maybe it's > less confusing if you use another symbol to get preterms? > > Freek ------------------------------------------------------------------------------ Own the Future-Intel(R) Level Up Game Demo Contest 2013 Rise to greatness in Intel's independent game demo contest. Compete for recognition, cash, and the chance to get your game on Steam. $5K grand prize plus 10 genre and skill prizes. Submit your demo by 6/6/13. http://altfarm.mediaplex.com/ad/ck/12124-176961-30367-2 _______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
