felix.git - Unnamed repository; edit this file 'description' to name the repository.

Age	Commit message (Collapse)	Author
3 hours	Migrate to `Felix` namespaceHEAD hotg	adelon

24 hours	Normalize transparent inductive contexts	adelon

25 hours	Support exact nested inductive contexts	adelon

48 hours	Restore fixed equality aliases	adelon

2 days	Cleanup	adelon

3 days	Remove obsolete verification machinery	adelon

4 days	Lower fixed exact set terms uniformly	adelon

4 days	Prepare exact datatype declarations	adelon

4 days	Authorize exact guarded rule sets	adelon

5 days	Prepare exact inductive declarations	adelon

5 days	Lower exact finite-set notation	adelon

9 days	Simplify typed inductive fact preparation	adelon

9 days	Prepare direct inductive kernel proofs	adelon

9 days	Authorize atomic facts through exact typed imports	adelon

9 days	Authorize ground reflexivity through kernel replay	adelon
	The first typed fact family is deliberately dependency-free. Its rows remain outside the legacy fact registry, so unmigrated declarations cannot consume or reauthorize them.