equal
deleted
inserted
replaced
3 Copyright 2009-2011 |
3 Copyright 2009-2011 |
4 |
4 |
5 Examples featuring Nitpick's monotonicity check. |
5 Examples featuring Nitpick's monotonicity check. |
6 *) |
6 *) |
7 |
7 |
8 header {* Examples Featuring Nitpick's Monotonicity Check *} |
8 section {* Examples Featuring Nitpick's Monotonicity Check *} |
9 |
9 |
10 theory Mono_Nits |
10 theory Mono_Nits |
11 imports Main |
11 imports Main |
12 (* "~/afp/thys/DPT-SAT-Solver/DPT_SAT_Solver" *) |
12 (* "~/afp/thys/DPT-SAT-Solver/DPT_SAT_Solver" *) |
13 (* "~/afp/thys/AVL-Trees/AVL2" "~/afp/thys/Huffman/Huffman" *) |
13 (* "~/afp/thys/AVL-Trees/AVL2" "~/afp/thys/Huffman/Huffman" *) |