diff options
Diffstat (limited to 'resources/quantifier')
| -rw-r--r-- | resources/quantifier/0.png | bin | 506 -> 2567 bytes |
| -rw-r--r-- | resources/quantifier/1.png | bin | 2008 -> 1571 bytes |
| -rw-r--r-- | resources/quantifier/2.png | bin | 456 -> 2851 bytes |
| -rw-r--r-- | resources/quantifier/3.png | bin | 418 -> 2536 bytes |
| -rw-r--r-- | resources/quantifier/4.png | bin | 291 -> 2242 bytes |
| -rw-r--r-- | resources/quantifier/5.png | bin | 391 -> 2524 bytes |
| -rw-r--r-- | resources/quantifier/6.png | bin | 531 -> 3167 bytes |
| -rw-r--r-- | resources/quantifier/7.png | bin | 215 -> 3231 bytes |
| -rw-r--r-- | resources/quantifier/8.png | bin | 523 -> 3109 bytes |
| -rw-r--r-- | resources/quantifier/9.png | bin | 537 -> 3118 bytes |
| -rw-r--r-- | resources/quantifier/fri.png | bin | 3547 -> 3355 bytes |
| -rw-r--r-- | resources/quantifier/mon.png | bin | 755 -> 3395 bytes |
| -rw-r--r-- | resources/quantifier/sat.png | bin | 4152 -> 3726 bytes |
| -rw-r--r-- | resources/quantifier/sun.png | bin | 4386 -> 3440 bytes |
| -rw-r--r-- | resources/quantifier/thu.png | bin | 2905 -> 2628 bytes |
| -rw-r--r-- | resources/quantifier/tue.png | bin | 3665 -> 2854 bytes |
| -rw-r--r-- | resources/quantifier/wed.png | bin | 815 -> 3577 bytes |
17 files changed, 0 insertions, 0 deletions
diff --git a/resources/quantifier/0.png b/resources/quantifier/0.png Binary files differindex 519fa91..6baccc1 100644 --- a/resources/quantifier/0.png +++ b/resources/quantifier/0.png diff --git a/resources/quantifier/1.png b/resources/quantifier/1.png Binary files differindex cd072cf..b5e5ffa 100644 --- a/resources/quantifier/1.png +++ b/resources/quantifier/1.png diff --git a/resources/quantifier/2.png b/resources/quantifier/2.png Binary files differindex 0dac9e1..b89bc41 100644 --- a/resources/quantifier/2.png +++ b/resources/quantifier/2.png diff --git a/resources/quantifier/3.png b/resources/quantifier/3.png Binary files differindex 8440537..71716bc 100644 --- a/resources/quantifier/3.png +++ b/resources/quantifier/3.png diff --git a/resources/quantifier/4.png b/resources/quantifier/4.png Binary files differindex 0968921..e5f2580 100644 --- a/resources/quantifier/4.png +++ b/resources/quantifier/4.png diff --git a/resources/quantifier/5.png b/resources/quantifier/5.png Binary files differindex d0bfe7d..93e066b 100644 --- a/resources/quantifier/5.png +++ b/resources/quantifier/5.png diff --git a/resources/quantifier/6.png b/resources/quantifier/6.png Binary files differindex 413d6fe..7c359b5 100644 --- a/resources/quantifier/6.png +++ b/resources/quantifier/6.png diff --git a/resources/quantifier/7.png b/resources/quantifier/7.png Binary files differindex 7d0ec4d..88ed442 100644 --- a/resources/quantifier/7.png +++ b/resources/quantifier/7.png diff --git a/resources/quantifier/8.png b/resources/quantifier/8.png Binary files differindex afc1f42..18f5ab1 100644 --- a/resources/quantifier/8.png +++ b/resources/quantifier/8.png diff --git a/resources/quantifier/9.png b/resources/quantifier/9.png Binary files differindex d4f1aa1..ada47a9 100644 --- a/resources/quantifier/9.png +++ b/resources/quantifier/9.png diff --git a/resources/quantifier/fri.png b/resources/quantifier/fri.png Binary files differindex 72747ac..2fb32a3 100644 --- a/resources/quantifier/fri.png +++ b/resources/quantifier/fri.png diff --git a/resources/quantifier/mon.png b/resources/quantifier/mon.png Binary files differindex c86e423..35efabc 100644 --- a/resources/quantifier/mon.png +++ b/resources/quantifier/mon.png diff --git a/resources/quantifier/sat.png b/resources/quantifier/sat.png Binary files differindex 870d692..568bd84 100644 --- a/resources/quantifier/sat.png +++ b/resources/quantifier/sat.png diff --git a/resources/quantifier/sun.png b/resources/quantifier/sun.png Binary files differindex 7981730..24f3b1c 100644 --- a/resources/quantifier/sun.png +++ b/resources/quantifier/sun.png diff --git a/resources/quantifier/thu.png b/resources/quantifier/thu.png Binary files differindex 32bc6be..7816d07 100644 --- a/resources/quantifier/thu.png +++ b/resources/quantifier/thu.png diff --git a/resources/quantifier/tue.png b/resources/quantifier/tue.png Binary files differindex f527d0f..bde6f7c 100644 --- a/resources/quantifier/tue.png +++ b/resources/quantifier/tue.png diff --git a/resources/quantifier/wed.png b/resources/quantifier/wed.png Binary files differindex 2860182..4d89518 100644 --- a/resources/quantifier/wed.png +++ b/resources/quantifier/wed.png |
