equal
deleted
inserted
replaced
1 (* Title: Admin/Benchmarks/HOL-datatype/Instructions.thy |
1 (* Title: Admin/Benchmarks/HOL-datatype/Instructions.thy |
2 ID: $Id$ |
2 ID: $Id$ |
3 *) |
3 *) |
4 |
4 |
5 theory Instructions = Main: |
5 theory Instructions imports Main begin |
6 |
6 |
7 (* ------------------------------------------------------------------------- *) |
7 (* ------------------------------------------------------------------------- *) |
8 (* Example from Konrad: 68000 instruction set. *) |
8 (* Example from Konrad: 68000 instruction set. *) |
9 (* ------------------------------------------------------------------------- *) |
9 (* ------------------------------------------------------------------------- *) |
10 |
10 |