Camelia, the Perl 6 bug

IRC log for #isabelle, 2012-09-25

| Channels | #isabelle index | Today | | Search | Google Search | Plain-Text | summary

All times shown according to UTC.

Time Nick Message
00:05 felipealmeida joined #isabelle
07:38 amosr hi.. sometimes 'apply auto' just hangs in proof general. could that be because I have some lemma marked as '[simp]' that shouldn't be?
07:53 lazard yes
07:54 lazard adding the wrong things to simp can lead to infinite rewriting
07:55 amosr fair enough. I probably went a bit crazy with adding everything to simp
07:55 amosr I'll try removing them all
14:11 felipealmeida joined #isabelle
15:41 clop joined #isabelle
22:38 felipealmeida joined #isabelle
22:46 ChanServ joined #isabelle

| Channels | #isabelle index | Today | | Search | Google Search | Plain-Text | summary