diff options
Diffstat (limited to 'resources/quantifier')
| -rw-r--r-- | resources/quantifier/0.png | bin | 0 -> 506 bytes |
| -rw-r--r-- | resources/quantifier/1.png | bin | 0 -> 2008 bytes |
| -rw-r--r-- | resources/quantifier/2.png | bin | 0 -> 456 bytes |
| -rw-r--r-- | resources/quantifier/3.png | bin | 0 -> 418 bytes |
| -rw-r--r-- | resources/quantifier/4.png | bin | 0 -> 291 bytes |
| -rw-r--r-- | resources/quantifier/5.png | bin | 0 -> 391 bytes |
| -rw-r--r-- | resources/quantifier/6.png | bin | 0 -> 531 bytes |
| -rw-r--r-- | resources/quantifier/7.png | bin | 0 -> 215 bytes |
| -rw-r--r-- | resources/quantifier/8.png | bin | 0 -> 523 bytes |
| -rw-r--r-- | resources/quantifier/9.png | bin | 0 -> 537 bytes |
| -rw-r--r-- | resources/quantifier/fri.png | bin | 0 -> 3547 bytes |
| -rw-r--r-- | resources/quantifier/mon.png | bin | 0 -> 755 bytes |
| -rw-r--r-- | resources/quantifier/sat.png | bin | 0 -> 4152 bytes |
| -rw-r--r-- | resources/quantifier/sun.png | bin | 0 -> 4386 bytes |
| -rw-r--r-- | resources/quantifier/thu.png | bin | 0 -> 2905 bytes |
| -rw-r--r-- | resources/quantifier/tue.png | bin | 0 -> 3665 bytes |
| -rw-r--r-- | resources/quantifier/wed.png | bin | 0 -> 815 bytes |
17 files changed, 0 insertions, 0 deletions
diff --git a/resources/quantifier/0.png b/resources/quantifier/0.png Binary files differnew file mode 100644 index 0000000..519fa91 --- /dev/null +++ b/resources/quantifier/0.png diff --git a/resources/quantifier/1.png b/resources/quantifier/1.png Binary files differnew file mode 100644 index 0000000..cd072cf --- /dev/null +++ b/resources/quantifier/1.png diff --git a/resources/quantifier/2.png b/resources/quantifier/2.png Binary files differnew file mode 100644 index 0000000..0dac9e1 --- /dev/null +++ b/resources/quantifier/2.png diff --git a/resources/quantifier/3.png b/resources/quantifier/3.png Binary files differnew file mode 100644 index 0000000..8440537 --- /dev/null +++ b/resources/quantifier/3.png diff --git a/resources/quantifier/4.png b/resources/quantifier/4.png Binary files differnew file mode 100644 index 0000000..0968921 --- /dev/null +++ b/resources/quantifier/4.png diff --git a/resources/quantifier/5.png b/resources/quantifier/5.png Binary files differnew file mode 100644 index 0000000..d0bfe7d --- /dev/null +++ b/resources/quantifier/5.png diff --git a/resources/quantifier/6.png b/resources/quantifier/6.png Binary files differnew file mode 100644 index 0000000..413d6fe --- /dev/null +++ b/resources/quantifier/6.png diff --git a/resources/quantifier/7.png b/resources/quantifier/7.png Binary files differnew file mode 100644 index 0000000..7d0ec4d --- /dev/null +++ b/resources/quantifier/7.png diff --git a/resources/quantifier/8.png b/resources/quantifier/8.png Binary files differnew file mode 100644 index 0000000..afc1f42 --- /dev/null +++ b/resources/quantifier/8.png diff --git a/resources/quantifier/9.png b/resources/quantifier/9.png Binary files differnew file mode 100644 index 0000000..d4f1aa1 --- /dev/null +++ b/resources/quantifier/9.png diff --git a/resources/quantifier/fri.png b/resources/quantifier/fri.png Binary files differnew file mode 100644 index 0000000..72747ac --- /dev/null +++ b/resources/quantifier/fri.png diff --git a/resources/quantifier/mon.png b/resources/quantifier/mon.png Binary files differnew file mode 100644 index 0000000..c86e423 --- /dev/null +++ b/resources/quantifier/mon.png diff --git a/resources/quantifier/sat.png b/resources/quantifier/sat.png Binary files differnew file mode 100644 index 0000000..870d692 --- /dev/null +++ b/resources/quantifier/sat.png diff --git a/resources/quantifier/sun.png b/resources/quantifier/sun.png Binary files differnew file mode 100644 index 0000000..7981730 --- /dev/null +++ b/resources/quantifier/sun.png diff --git a/resources/quantifier/thu.png b/resources/quantifier/thu.png Binary files differnew file mode 100644 index 0000000..32bc6be --- /dev/null +++ b/resources/quantifier/thu.png diff --git a/resources/quantifier/tue.png b/resources/quantifier/tue.png Binary files differnew file mode 100644 index 0000000..f527d0f --- /dev/null +++ b/resources/quantifier/tue.png diff --git a/resources/quantifier/wed.png b/resources/quantifier/wed.png Binary files differnew file mode 100644 index 0000000..2860182 --- /dev/null +++ b/resources/quantifier/wed.png |
