| changeset 59240 | e411afcfaa29 |
| parent 59228 | 56b34fc7a015 |
| child 59245 | be4180f3c236 |
| 59239:d20cdab3bfeb | 59240:e411afcfaa29 |
|---|---|
1 /* Title: Tools/Graphview/mutator.scala |
1 /* Title: Tools/Graphview/mutator.scala |
2 Author: Markus Kaiser, TU Muenchen |
2 Author: Markus Kaiser, TU Muenchen |
3 Author: Makarius |
|
3 |
4 |
4 Filters and add-operations on graphs. |
5 Filters and add-operations on graphs. |
5 */ |
6 */ |
6 |
7 |
7 package isabelle.graphview |
8 package isabelle.graphview |