aboutsummaryrefslogtreecommitdiff
path: root/hott/List+.thy
diff options
context:
space:
mode:
authorJosh Chen2020-08-14 11:21:59 +0200
committerJosh Chen2020-08-14 11:21:59 +0200
commitd172f9d35a9a1680ec15e4c61e5becbbc92d2ce7 (patch)
treecb00a53ba7d07ece8a4952e18319499bb9da7280 /hott/List+.thy
parent7a53528cdd91511d3c4e461b3af75ee88afee981 (diff)
reorganize
Diffstat (limited to 'hott/List+.thy')
0 files changed, 0 insertions, 0 deletions