diff options
| author | Tej Chajed | 2016-08-15 22:05:21 -0400 |
|---|---|---|
| committer | Tej Chajed | 2016-08-15 22:05:21 -0400 |
| commit | ac69cdf056f0ee424c076d09f3848a0574f3ce83 (patch) | |
| tree | 1aed347d26db884f7d24e24ac74cd4456461b946 /isar/Example.thy | |
| parent | a7c5e29ba9a6364e851fd4aa0924395c59cb324e (diff) | |
Add Set Printing Universes to options menu
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions