forked from Isabelle_DOF/Isabelle_DOF
Commit Graph
-
90a6b5aeb2
instance-name-space
2023-02-06 17:55:19 +0100 -
e5a301a3bd
2023-02-06 17:09:02 +0100 -
7c0d2cee55
docitem-name-antiquotations
2023-01-30 07:43:44 +0100 -
7c6150affa
2023-01-27 15:06:20 +0100 -
ad4ad52b4e
2023-01-27 10:32:38 +0100 -
ba8227e6ab
2023-01-26 09:43:51 +0100 -
20b0af740d
2023-01-23 08:50:36 +0100 -
1379f8a671
2023-01-18 19:11:48 +0100 -
8fdaafa295
2023-01-19 22:00:53 +0000 -
8513f7d267
2023-01-17 09:01:55 +0100 -
104350831e
metalogic-mapping
2023-01-13 12:38:15 +0100 -
1ec6dacd6e
2022-12-21 18:26:11 +0100 -
f5a2b6fe1b
2022-12-05 19:16:18 +0100 -
d7ac6fc21c
2022-07-08 08:13:46 +0200 -
2b1a9d009e
2023-01-13 08:23:15 +0100 -
cd758d2c44
2023-01-12 12:18:58 +0100 -
8496963fec
2023-01-11 14:49:29 +0100 -
72d8000f7b
2023-01-09 15:34:59 +0100 -
17ec11b297
2023-01-09 15:13:23 +0100 -
a96e17abf3
2023-01-09 11:34:40 +0100 -
74b60e47d5
2022-12-22 16:36:49 +0100 -
a42dd4ea6c
2022-12-22 10:55:03 +0100 -
b162a24749
2022-12-22 09:55:46 +0100 -
a9432c7b52
2022-12-22 07:53:42 +0100 -
9f28d4949e
2022-12-22 07:32:37 +0100 -
885c23a138
2022-12-22 07:14:29 +0100 -
a589d4cd47
2022-12-21 18:32:07 +0100 -
e1f143d151
2022-12-21 11:35:05 +0100 -
fd60cf2312
2022-12-21 11:34:34 +0100 -
73dfcd6c1e
2022-12-14 12:02:15 +0100 -
c0afe1105e
2022-12-12 12:01:04 +0100 -
e414b97afb
2022-12-19 12:14:30 +0100 -
218ff9f7ec
implement-rejects-clause
2022-12-14 14:36:19 +0100 -
6a6adaab1e
2022-12-14 12:02:15 +0100 -
9bc493250f
enable-invariants-checking-everywhere
2022-12-12 12:01:04 +0100 -
963923be3f
test-normalization
2022-11-23 07:07:10 +0100 -
55988f1b43
2022-07-08 08:13:46 +0200 -
0b2d28b547
2022-12-09 16:11:57 +0100 -
37d7ed7d17
2022-12-09 15:13:22 +0100 -
312734afbd
2022-12-09 15:12:38 +0100 -
8cee80d78e
2022-12-07 16:01:38 +0100 -
ec0d525426
2022-12-05 15:21:26 +0100 -
791990039b
2022-12-05 12:37:59 +0100 -
78d61390fe
2022-12-05 11:50:12 +0100 -
ffcf1f3240
2022-12-04 19:26:28 +0100 -
5471d873a9
2022-12-04 19:13:08 +0100 -
df37250a00
2022-12-04 19:00:23 +0100 -
185daeb577
2022-12-04 18:25:29 +0100 -
8037fd15f2
2022-12-04 18:20:54 +0100 -
afcd78610b
2022-12-04 18:03:53 +0100 -
b8a9ef5118
2022-12-04 16:38:56 +0100 -
a4e75c8b12
2022-12-04 16:35:55 +0100 -
d20e9ccd22
2022-12-04 00:45:07 +0100 -
f2ee5d3780
2022-12-04 00:10:43 +0100 -
44cae2e631
2022-12-04 00:09:29 +0100 -
7b2bf35353
2022-12-03 14:54:14 +0100 -
e8c7fa6018
2022-12-03 14:44:04 +0100 -
b12e61511d
2022-12-03 13:55:56 +0100 -
3cac42e6cb
2022-12-03 12:39:00 +0100 -
aee8ba1df1
2022-12-03 12:37:58 +0100 -
d93e1383d4
2022-12-03 12:29:24 +0100 -
3d5d1e7476
2022-12-02 22:54:02 +0100 -
4264e7cd15
2022-12-02 21:40:59 +0100 -
96f4077c53
2022-12-02 21:29:45 +0100 -
d7fb39d7eb
2022-12-02 21:14:55 +0100 -
b95826962f
2022-12-02 20:29:40 +0100 -
912d4bb49e
2022-12-02 20:05:15 +0100 -
a6c1a2baa4
2022-12-02 15:31:23 +0100 -
bb5963c6e2
2022-12-02 14:35:17 +0100 -
cc3e2a51a4
2022-12-02 13:50:16 +0100 -
9e4e5b49eb
2022-12-02 11:41:31 +0100 -
b65ecbdbef
2022-12-02 10:34:15 +0100 -
3be2225dcf
2022-12-01 22:54:01 +0100 -
f44f0af01c
2022-12-01 22:48:45 +0100 -
9a11baf840
2022-12-01 22:04:56 +0100 -
48c167aa23
2022-12-01 21:45:06 +0100 -
700a9bbfee
2022-12-01 21:30:32 +0100 -
73299941ad
2022-12-01 17:26:29 +0100 -
5a8c438c41
2022-12-01 16:48:33 +0100 -
7772c73aaa
2022-12-01 16:39:41 +0100 -
ca18453043
2022-12-01 16:28:44 +0100 -
1a122b1a87
2022-12-01 15:48:52 +0100 -
47d95c467e
2022-12-01 15:33:16 +0100 -
bf3085d4c0
2022-12-01 15:26:48 +0100 -
068e6e0411
2022-12-01 14:23:00 +0100 -
09e9980691
2022-12-01 14:22:32 +0100 -
94ce3fdec2
2022-12-01 14:15:17 +0100 -
44819bff02
2022-12-01 12:44:03 +0100 -
a6ab1e101e
2022-12-01 11:55:51 +0100 -
c29ec9641a
2022-12-01 11:45:12 +0100 -
06833aa190
2022-11-28 09:58:58 +0100 -
4f0c7e1e95
2022-11-25 08:57:59 +0100 -
0040949cf8
2022-11-24 14:20:29 +0100 -
e68c332912
2022-11-24 10:41:50 +0100 -
b2c4f40161
2022-11-18 10:30:33 +0100 -
a5462195d8
instance-value-normalization
2022-07-08 08:13:46 +0200 -
309952e0ce
2022-11-09 11:19:00 +0100 -
830e1b440a
2022-11-09 06:06:30 +0100 -
2149db9efc
2022-11-08 20:52:58 +0100 -
1547ace64b
2022-11-08 19:27:07 +0100