| #
f5796e6d |
|
14-Feb-2018 |
wenzelm <none@none> |
more symbols;
|
| #
ee8e8234 |
|
06-Oct-2015 |
wenzelm <none@none> |
isabelle update_cartouches;
|
| #
c82bd4c5 |
|
12-Oct-2012 |
wenzelm <none@none> |
discontinued obsolete typedef (open) syntax;
|
| #
8f15c228 |
|
09-Oct-2012 |
kuncar <none@none> |
rename Set.project to Set.filter - more appropriate name
|
| #
56439929 |
|
08-May-2012 |
bulwahn <none@none> |
defining and proving Executable_Relation with lift_definition and transfer
|
| #
a2076df5 |
|
03-Apr-2012 |
kuncar <none@none> |
new package Lifting - initial commit
|
| #
55e11b0d |
|
03-Apr-2012 |
griff <none@none> |
renamed "rel_comp" to "relcomp" (to be consistent with, e.g., "relpow")
|
| #
3dd0674a |
|
11-Mar-2012 |
bulwahn <none@none> |
renewing Executable_Relation
|
| #
535df1f4 |
|
02-Feb-2012 |
bulwahn <none@none> |
adding an example for a datatype refinement which would allow rtrancl to be executable on an infinite type
|
| #
632148b4 |
|
23-Mar-2012 |
kuncar <none@none> |
fix example files
|