Perl 6 - the future is here, just unevenly distributed

IRC log for #isabelle, 2015-10-21

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

All times shown according to UTC.

Time Nick Message
07:11 wagle joined #isabelle
13:19 tautologico joined #isabelle
13:22 kini joined #isabelle
13:43 tautologico is there a way to create a local scope inside a theory? like a submodule?

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